Web Developer Note

* To select a default php cli version Prior to choose a version, make sure that you installed the version e.g. sudo update-alternatives --set php /usr/bin/php7.2 sudo update-alternatives --set php /usr/bin/php7.1 sudo update-alternatives --set php /usr/bin/php7.0

[/] foreground-color='rgb(201,201,201)' cjk-utf8-ambiguous-width='narrow' rewrap-on-resize=true palette=['rgb(0,0,0)', 'rgb(234,101,44)', 'rgb(123,211,101)', 'rgb(232,195,120)', 'rgb(52,101,164)', 'rgb(117,80,123)', 'rgb(7,201,203)', 'rgb(211,215,207)', 'rgb(184,130,255)', 'rgb(171,255,45)', 'rgb(180,235,116)', 'rgb(211,186,98)', 'rgb(121,206,232)', 'rgb(241,127,203)', 'rgb(213,213,213)', 'rgb(199,199,199)'] word-char-exceptions=@ms '-,.;/?%&#_=+@~·:' default-size-columns=133 default-size-rows=40 cursor-shape='underline' scroll-on-output=true backspace-binding='auto' use-system-font=false use-transparent-background=false use-theme-colors=false font='Ubuntu Mono 12' use-theme-transparency=true allow-bold=true scrollback-unlimited=true bold-color-same-as-fg=true background-color='rgb(59,59,59)' backgrou...

#!/bin/bash #======================================================================================================================= # Export and import Gnome Terminal profiles #======================================================================================================================= # Displays usage info and exits # Parameters: #   1 - error message (if any) usage() {   [ -z "$1" ] || echo "ERROR: $1" >&2   echo "Usage: $0 import|export <filename>" >&2   exit 1 } # Prints a failure message and exits # Parameters: #   1 - message err() {   echo "ERROR: $1" >&2   exit 2 } #----------------------------------------------------------------------------------------------------------------------- # Check variables mode="$1" filename="$2" [[ -z "$mode"     ]] && usage "No mode specified" [[ -z "$filename" ]] && usage "No filename specified"...