# Smart directory changer using the power of grep ;) # source in a function j() { . ce $*} or some such #!/bin/bash [ "$1" = "$HOME" ] && echo $HOME && exit fl="$HOME/.local/share/dir_lst";[ ! -f "$fl" ] && touch "$fl" [ "$2" = "!" ] && echo "$1" && exit || \ ln=`grep -n "$1" "$fl" | head -n 1 | cut -d : -f 1` if [ ! "$1" = "" ]; then if [ ! "$ln" = "" ]; then cd `echo -e "$ln m0\n1p\nw"|ed -s "$fl"` ||echo \?; else l=$1; while [ ! -d "$l" ]; do echo \?; read l; done; l=`echo "$l" | sed "s|^[^/]|$PWD/&|"`; cd $l echo -e "0i\n$l\n.\nw" | ed -s "$fl"; sed -i '43,$d' "$fl" fi; else echo -e "2 m0\nw" | ed -s "$fl"; fi;