diff options
| author | Andrew Cady <d@jerkface.net> | 2015-10-04 16:28:03 +0200 |
|---|---|---|
| committer | Andrew Cady <d@jerkface.net> | 2015-10-04 16:28:03 +0200 |
| commit | c25e51572f7fa61b720cd1fcfb9f8ddaf0adc917 (patch) | |
| tree | d9e021048b052f2d4e6292db6edf9e75bda4d2df /dot/profile | |
| parent | 2ea5eb5415341de3e5b0a92ffb9779207e2bfdaf (diff) | |
fixed ghc/ghci/runghc on $PATH
Diffstat (limited to 'dot/profile')
| -rw-r--r-- | dot/profile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dot/profile b/dot/profile index 7305b38..c9db459 100644 --- a/dot/profile +++ b/dot/profile | |||
| @@ -20,4 +20,3 @@ fi | |||
| 20 | if [ -d "$HOME/bin" ] ; then | 20 | if [ -d "$HOME/bin" ] ; then |
| 21 | PATH="$HOME/bin:$PATH" | 21 | PATH="$HOME/bin:$PATH" |
| 22 | fi | 22 | fi |
| 23 | PATH="$HOME/.local/bin:$PATH" | ||