diff options
| -rw-r--r-- | system/.profile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/system/.profile b/system/.profile index 8e429be..b9668c9 100644 --- a/system/.profile +++ b/system/.profile @@ -1,6 +1,5 @@ export CLEAN_HOME=/opt/clean export CLEANLIB=$CLEAN_HOME/exe -export CLEANPATH=$CLEAN_HOME/lib/StdEnv:$CLEAN_HOME/lib/Dynamics:$CLEAN_HOME/lib/Gast:$CLEAN_HOME/lib/Platform export PATH="$HOME/bin.local:$HOME/bin:$HOME/.cabal/bin:$HOME/.composer/vendor/bin:/usr/local/bin:/usr/local/sbin:/usr/sbin:/sbin:$PATH:/usr/local/texlive/2018/bin/x86_64-linux:/opt/microchip/xc16/v1.26/bin:/opt/microchip/xc8/v1.41/bin:$CLEAN_HOME/bin" export MANPATH="/usr/local/man:/usr/local/mysql/man:/usr/local/git/man:$MANPATH" export SUDO_ASKPASS=~/bin/askpass |