diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-10-05 14:09:22 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-10-05 14:09:22 (EDT) |
| commit | d604e4231790157917e6f518ef90825ca914d712 (patch) | |
| tree | 52ecfd68e741d7995fa502e3e71c4701666346c4 /lib | |
| parent | 4d9434db90e810b404221f7c0020859c25a2ac51 (diff) | |
cmd/shell: Drop unnecessary variable.
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/cmd/shell.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/lib/cmd/shell.sh b/lib/cmd/shell.sh index c6e0906..79e8b7a 100644 --- a/lib/cmd/shell.sh +++ b/lib/cmd/shell.sh @@ -24,7 +24,6 @@ use session cmd_shell_main() { local root= - local session_dir= if [ ${#} -lt 1 ]; then print_cmd_usage 'shell' >&2 @@ -38,7 +37,6 @@ cmd_shell_main() profile_set "${ID}" session_begin "${root}" . : - session_dir="/prokit/sessions/$(session_id)" if [ ${#} -eq 0 ]; then session_exec /bin/sh printf '\n' |