-
-
Save reneoelke/6c57697d826d237e086c to your computer and use it in GitHub Desktop.
Bash-Konfiguration zum Wechseln des Terminal-Themes für bestimmte SSH-Verbindungen.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # ~/.bashrc | |
| SSH_BIN=$(which ssh) | |
| function set_terminal_theme { | |
| THEME_NAME="$1" | |
| osascript -e "tell application \"Terminal\" to set current settings of front window to settings set \"${THEME_NAME}\"" 2>/dev/null | |
| } | |
| function ssh { | |
| THEME_DEFAULT="Pro" | |
| THEME_DEVELOPMENT="Pro Blue" | |
| THEME_STAGING="Pro Green" | |
| THEME_PRODUCTION="Pro Red" | |
| case "$@" in | |
| # Hostnames and IP addresses for localhost (development) | |
| *localhost*|*127.*) | |
| set_terminal_theme "${THEME_DEVELOPMENT}" | |
| ${SSH_BIN} "$@" | |
| set_terminal_theme "${THEME_DEFAULT}" | |
| ;; | |
| # Hostnames and IP addresses for internal network (staging) | |
| *.local*|*192.168.*) | |
| set_terminal_theme "${THEME_STAGING}" | |
| ${SSH_BIN} "$@" | |
| set_terminal_theme "${THEME_DEFAULT}" | |
| ;; | |
| # Hostnames and IP addresses for external network (production) | |
| *live.de*|*12.34.1.*) | |
| set_terminal_theme "${THEME_PRODUCTION}" | |
| ${SSH_BIN} "$@" | |
| set_terminal_theme "${THEME_DEFAULT}" | |
| ;; | |
| *) | |
| ${SSH_BIN} "$@" | |
| ;; | |
| esac | |
| } |
Author
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Per Default werden neue Tabs im aktuellen Terminal-Fenster immer mit den Einstellungen des aktuellen Tabs geöffnet. Das würde bedeutet, dass man eventuell alle neuen Tabs immer mit einem falschen Theme öffnet. Dies kann man in den Terminal-Einstellungen mit der Option _Neue Tabs öffnen mit: Standardeinstellungen_ verhindern.