diff options
| -rw-r--r-- | system/.bash_aliases | 1 | ||||
| -rw-r--r-- | system/.profile | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/system/.bash_aliases b/system/.bash_aliases index 74b9600..52cbfdb 100644 --- a/system/.bash_aliases +++ b/system/.bash_aliases @@ -1,2 +1 @@ alias :q="exit" -alias ghci='/usr/bin/ghci -fhistory-size=1000' diff --git a/system/.profile b/system/.profile index a7384f9..32126f2 100644 --- a/system/.profile +++ b/system/.profile @@ -16,6 +16,8 @@ export PATH="$PATH:$CLEAN_HOME/bin" export PATH="$HOME/bin:$PATH" export PATH="$HOME/bin.local:$PATH" +[ -f "/home/camil/.ghcup/env" ] && source "/home/camil/.ghcup/env" # ghcup-env + export MANPATH="/usr/local/git/man:$MANPATH" export MANPATH="/usr/local/mysql/man:$MANPATH" export MANPATH="/usr/local/man:$MANPATH" |