josh/files
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge remote branch 'mike/master'

Browse Source
This commit is contained in:
Josh Holtrop 2011-03-04 15:55:51 -05:00
commit dfdae3540b
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
bash_aliases Normal file → Executable file
View File

@ -36,6 +36,8 @@ function mark()
local mark_dir=$(grep "^$mark_name:" ${MARKS_FILE} | sed -e 's/[^:]*://') local mark_dir=$(grep "^$mark_name:" ${MARKS_FILE} | sed -e 's/[^:]*://')
if [[ "$mark_dir" != "" ]]; then if [[ "$mark_dir" != "" ]]; then
cd "$mark_dir" cd "$mark_dir"
else
echo "\`$mark_name' is NOT in mark list!"
fi fi
;; ;;
-s) -s)