Skip to content

Instantly share code, notes, and snippets.

@jbohren
Last active December 13, 2015 22:49
Show Gist options
  • Select an option

  • Save jbohren/4987294 to your computer and use it in GitHub Desktop.

Select an option

Save jbohren/4987294 to your computer and use it in GitHub Desktop.

Revisions

  1. jbohren revised this gist Feb 19, 2013. 1 changed file with 2 additions and 0 deletions.
    2 changes: 2 additions & 0 deletions wstool_aliases.bash
    Original file line number Diff line number Diff line change
    @@ -1,3 +1,5 @@
    #!/usr/bin/env bash

    # Set the workspace to the current directory
    alias wspwd='export ROS_WORKSPACE=$(pwd)'

  2. jbohren revised this gist Feb 19, 2013. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion wstool_aliases.bash
    Original file line number Diff line number Diff line change
    @@ -4,5 +4,5 @@ alias wspwd='export ROS_WORKSPACE=$(pwd)'
    # Save the workspace used in this shell as the current workspace
    alias wssave='echo -e "$ROS_WORKSPACE" > ~/.curws'

    # Load the saved ros workspace into this shell
    # Load the saved workspace into this shell
    alias wsload='source $(cat ~/.curws)/setup.bash'
  3. jbohren revised this gist Feb 19, 2013. 1 changed file with 3 additions and 3 deletions.
    6 changes: 3 additions & 3 deletions wstool_aliases.bash
    Original file line number Diff line number Diff line change
    @@ -1,8 +1,8 @@
    # Set the ros workspace to the current directory
    # Set the workspace to the current directory
    alias wspwd='export ROS_WORKSPACE=$(pwd)'

    # Save the current directory as the current ros workspace
    # Save the workspace used in this shell as the current workspace
    alias wssave='echo -e "$ROS_WORKSPACE" > ~/.curws'

    # Load the saved ros workspace
    # Load the saved ros workspace into this shell
    alias wsload='source $(cat ~/.curws)/setup.bash'
  4. jbohren revised this gist Feb 19, 2013. 1 changed file with 6 additions and 1 deletion.
    7 changes: 6 additions & 1 deletion wstool_aliases.bash
    Original file line number Diff line number Diff line change
    @@ -1,3 +1,8 @@
    # Set the ros workspace to the current directory
    alias wspwd='export ROS_WORKSPACE=$(pwd)'
    alias wssave='echo -e "$(pwd)" > ~/.curws'

    # Save the current directory as the current ros workspace
    alias wssave='echo -e "$ROS_WORKSPACE" > ~/.curws'

    # Load the saved ros workspace
    alias wsload='source $(cat ~/.curws)/setup.bash'
  5. jbohren renamed this gist Feb 19, 2013. 1 changed file with 0 additions and 0 deletions.
    File renamed without changes.
  6. jbohren created this gist Feb 19, 2013.
    3 changes: 3 additions & 0 deletions gistfile1.sh
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,3 @@
    alias wspwd='export ROS_WORKSPACE=$(pwd)'
    alias wssave='echo -e "$(pwd)" > ~/.curws'
    alias wsload='source $(cat ~/.curws)/setup.bash'