Skip to content

Instantly share code, notes, and snippets.

@odigity
Last active October 14, 2015 16:37
Show Gist options
  • Select an option

  • Save odigity/ba5eaf1b45fbba2c98f9 to your computer and use it in GitHub Desktop.

Select an option

Save odigity/ba5eaf1b45fbba2c98f9 to your computer and use it in GitHub Desktop.
repo(){
cd "$HOME/Dropbox/Personal/src/$1"
echo -en "\033]0;$1\a"
PS1='\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]${PWD#/home/ofer/Dropbox/Personal/src/}\[\033[01;33m\] \$ \[\033[00m\]'
}
docker run --rm -it \
-v "$PWD":/tmpdev -w /tmpdev \
-e RACK_ENV=development \
-e PORCIO_AUTH_SECRET=secret \
-e DEVPS='\[\033[01;35m\]porcio-framework\[\033[00m\]:\[\033[01;34m\]\w\[\033[01;33m\] $ \[\033[00m\]' \
porc-io/porcio-framework /bin/bash
RUN echo 'if [ -n "$DEVPS" ]; then PS1=$DEVPS; fi' >> /root/.bashrc
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment