diff options
Diffstat (limited to 'system/.profile')
| -rw-r--r-- | system/.profile | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/system/.profile b/system/.profile new file mode 100644 index 0000000..5ef7aaa --- /dev/null +++ b/system/.profile @@ -0,0 +1,21 @@ +export CLEAN_HOME=/opt/clean +export CLEANLIB=$CLEAN_HOME/exe +export PATH="$CLEAN_HOME/bin:$CLEAN_LIB:$HOME/bin.local:$HOME/bin:$HOME/.cabal/bin:$HOME/.composer/vendor/bin:./bin:/usr/local/bin:/usr/local/sbin:/usr/sbin:/sbin:$PATH:/usr/local/texlive/2016/bin/x86_64-linux:/opt/microchip/xc16/v1.26/bin:/opt/microchip/xc8/v1.37/bin" +export MANPATH="/usr/local/man:/usr/local/mysql/man:/usr/local/git/man:$MANPATH" +export SUDO_ASKPASS=~/bin/askpass +export _JAVA_OPTIONS='-Dawt.useSystemAAFontSettings=gasp -Dsun.java2d.opengl=true' +export HISTTIMEFORMAT="%Y-%m-%d %T " + +cpmq() { + res="$(cpm $@)" + echo "$res" | grep -i 'Error' >/dev/null + if [ $? -eq 0 ]; then + echo "$res" | grep -i '^\|Error\|Warning' + return -1 + else + echo "$res" | grep --color=never -i 'Finished making.' + return 0 + fi +} + +shopt -s globstar |