From d604e4231790157917e6f518ef90825ca914d712 Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pj@pehjota.net>
Date: Sun, 05 Oct 2014 14:09:22 -0400
Subject: cmd/shell: Drop unnecessary variable.

---
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'
--
cgit v0.9.1