Skip to content

Instantly share code, notes, and snippets.

@Kilian
Created October 9, 2012 12:45
Show Gist options
  • Save Kilian/3858593 to your computer and use it in GitHub Desktop.
Save Kilian/3858593 to your computer and use it in GitHub Desktop.

Revisions

  1. Kilian revised this gist Oct 9, 2012. 1 changed file with 5 additions and 4 deletions.
    9 changes: 5 additions & 4 deletions workspace
    Original file line number Diff line number Diff line change
    @@ -1,7 +1,8 @@
    function w() {
    if [[ $@ == "" ]]; then
    command cd ~/workspace/ | more;
    function w {
    if [[ $1 == "" ]]; then
    command cd ~/workspace/;
    else
    command cd ~/workspace/"$@";
    command cd ~/workspace/$1;
    fi;
    }

  2. Kilian created this gist Oct 9, 2012.
    7 changes: 7 additions & 0 deletions workspace
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,7 @@
    function w() {
    if [[ $@ == "" ]]; then
    command cd ~/workspace/ | more;
    else
    command cd ~/workspace/"$@";
    fi;
    }