From 0ca87f524acfbb4140fbee4c50043773b44ae53d Mon Sep 17 00:00:00 2001 From: Bodaniel Jeanes Date: Sun, 19 Jun 2011 12:29:09 -0500 Subject: [PATCH] Remove unused save-directory stuff --- shell/common.sh | 1 - shell/save-directory.sh | 11 ----------- 2 files changed, 12 deletions(-) delete mode 100644 shell/save-directory.sh diff --git a/shell/common.sh b/shell/common.sh index 8692820..c9bfec7 100644 --- a/shell/common.sh +++ b/shell/common.sh @@ -5,7 +5,6 @@ source $DOT_FILES/$CURRENT_SHELL/config.*sh source $DOT_FILES/shell/exports.sh source $DOT_FILES/shell/aliases.sh source $DOT_FILES/shell/functions.sh -source $DOT_FILES/shell/save-directory.sh source $DOT_FILES/shell/prompt.sh source $DOT_FILES/shell/git.sh diff --git a/shell/save-directory.sh b/shell/save-directory.sh deleted file mode 100644 index 3162819..0000000 --- a/shell/save-directory.sh +++ /dev/null @@ -1,11 +0,0 @@ -if [ ! -f ~/.dirs ]; then - touch ~/.dirs -fi - -alias show='cat ~/.dirs' -save (){ - command sed "/!$/d" ~/.dirs > ~/.dirs1 - mv ~/.dirs1 ~/.dirs; echo "$@"=\"`pwd`\" >> ~/.dirs - source ~/.dirs -} -source ~/.dirs # Initialization for the above 'save' facility: source the .dirs file \ No newline at end of file