diff options
Diffstat (limited to 'root/.bash_aliases')
| -rw-r--r-- | root/.bash_aliases | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/root/.bash_aliases b/root/.bash_aliases index bbe296d..a7a5a78 100644 --- a/root/.bash_aliases +++ b/root/.bash_aliases @@ -25,7 +25,9 @@ function c () { do grep ^- <<<$arg > /dev/null && fn=$arg done - gcc -g -Wall -Wextra -pedantic -Wformat -Wformat-security -o`rev <<<$arg | cut -d. -f2- | rev` $@ -lm + pedantic=-Wpedantic + [ x$NO_PEDANTIC = x ] && pedantic= + gcc -g -Wall -Wextra $pedantic -Wformat -Wformat-security -o`rev <<<$arg | cut -d. -f2- | rev` $@ -lm } alias pmbootstrap="pmbootstrap --as-root" HISTCONTORL=ignoreboth @@ -83,3 +85,4 @@ function j () { javac `sed 's/\.$/.java/' <<<$1` && java `sed -e s/.java// -e 's/\.$//' <<<$1` } alias gl="git log --graph" +export MPLBACKEND=gtk4agg |