diff options
Diffstat (limited to '.profile')
| -rw-r--r-- | .profile | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -52,7 +52,7 @@ sht() { mshow -A text/html $@; } | |||
| 52 | n() { mshow .+1 | templess; } | 52 | n() { mshow .+1 | templess; } |
| 53 | 53 | ||
| 54 | # nissy build options | 54 | # nissy build options |
| 55 | #export NISSY_BUILD_SANITIZE="address,undefined" | 55 | export NISSY_BUILD_SANITIZE="address,undefined" |
| 56 | 56 | ||
| 57 | # Session cookies are kept in .ssh | 57 | # Session cookies are kept in .ssh |
| 58 | [ -f $HOME/.ssh/sessions ] && . $HOME/.ssh/sessions | 58 | [ -f $HOME/.ssh/sessions ] && . $HOME/.ssh/sessions |
