Skip to content

Instantly share code, notes, and snippets.

@andrebrito16
Created May 25, 2022 15:08
Show Gist options
  • Save andrebrito16/75e4a3486177a1532e52aa2fb2105319 to your computer and use it in GitHub Desktop.
Save andrebrito16/75e4a3486177a1532e52aa2fb2105319 to your computer and use it in GitHub Desktop.
Catkin setup.zsh
#!/usr/bin/env zsh
# generated from catkin/cmake/templates/setup.zsh.in
CATKIN_SHELL=zsh
# source setup.sh from same directory as this file
_CATKIN_SETUP_DIR=$(builtin cd -q "`dirname "$0"`" > /dev/null && pwd)
emulate -R zsh -c 'source "$_CATKIN_SETUP_DIR/setup.sh"'
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment