Skip to content

Instantly share code, notes, and snippets.

View xhalo32's full-sized avatar
❄️
Lean, Rust, Nix, Typst

Niklas Halonen xhalo32

❄️
Lean, Rust, Nix, Typst
View GitHub Profile
@xhalo32
xhalo32 / .docker-machine-ps1
Last active June 12, 2018 11:39
Docker-machine PS1 shell script for ubuntu. This script detects when you have run `eval $(docker-machine env <name>)` and prefixes the name in your PS1. Source this file or source the script using curl: `. <(curl -s <raw content>)`. In your .bashrc after the line `if [ "$color_prompt" = yes ]; then` and comment out the line `PS1='${debian_chroot…
#!/bin/bash
PROMPT_COMMAND="\[ \! -z \"\${DOCKER_MACHINE_NAME}\" \] && { _PS1_DOCKER_MACHINE_PREFIX=\"(\$DOCKER_MACHINE_NAME) \"; } || { _PS1_DOCKER_MACHINE_PREFIX=''; }"
PS1='${debian_chroot:+($debian_chroot)}\[\033[01;90m\]`echo "$_PS1_DOCKER_MACHINE_PREFIX"`\[\033[01;00m\]\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$ '
@xhalo32
xhalo32 / .docker-machine-ps1
Created June 12, 2018 11:09
Docker-machine PS1 shell script.
#!/bin/bash
PROMPT_COMMAND="\[ \! -z \"\${DOCKER_MACHINE_NAME}\" \] && { _PS1_DOCKER_MACHINE_PREFIX=\"(\$DOCKER_MACHINE_NAME) \"; } || { _PS1_DOCKER_MACHINE_PREFIX=''; }"
PS1='${debian_chroot:+($debian_chroot)}\[\033[01;90m\]`echo "$_PS1_DOCKER_MACHINE_PREFIX"`\[\033[01;00m\]\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$ '