latest changes

This commit is contained in:
2022-05-13 10:35:26 +02:00
parent 9c28309908
commit c13712fccc
16 changed files with 644 additions and 4 deletions
+13 -3
View File
@@ -334,7 +334,7 @@ maybe chmod 0755 'etckeeper/commit.d/30darcs-add'
maybe chmod 0755 'etckeeper/commit.d/30git-add'
maybe chmod 0755 'etckeeper/commit.d/30hg-addremove'
maybe chmod 0755 'etckeeper/commit.d/50vcs-commit'
maybe chmod 0644 'etckeeper/commit.d/60-push'
maybe chmod 0755 'etckeeper/commit.d/60-push'
maybe chmod 0755 'etckeeper/commit.d/99push'
maybe chmod 0644 'etckeeper/commit.d/README'
maybe chmod 0755 'etckeeper/daily'
@@ -1298,6 +1298,18 @@ maybe chmod 0755 'sv/ssh/finish'
maybe chmod 0755 'sv/ssh/log'
maybe chmod 0755 'sv/ssh/log/run'
maybe chmod 0755 'sv/ssh/run'
maybe chmod 0755 'synth-shell'
maybe chmod 0755 'synth-shell/examples'
maybe chmod 0644 'synth-shell/examples/synth-shell-prompt.blue.config'
maybe chmod 0644 'synth-shell/examples/synth-shell-prompt.gray.config'
maybe chmod 0644 'synth-shell/examples/synth-shell-prompt.green.config'
maybe chmod 0644 'synth-shell/examples/synth-shell-prompt.magenta.config'
maybe chmod 0644 'synth-shell/examples/synth-shell-prompt.orange.config'
maybe chmod 0644 'synth-shell/examples/synth-shell-prompt.red.config'
maybe chmod 0644 'synth-shell/examples/synth-shell-prompt.yellow.config'
maybe chmod 0644 'synth-shell/synth-shell-prompt.config'
maybe chmod 0644 'synth-shell/synth-shell-prompt.config.default'
maybe chmod 0644 'synth-shell/synth-shell-prompt.root.config'
maybe chmod 0644 'sysctl.conf'
maybe chmod 0755 'sysctl.d'
maybe chmod 0644 'sysctl.d/30-postgresql-shm.conf'
@@ -1399,8 +1411,6 @@ maybe chmod 0644 'wireguard/keys/work_priv'
maybe chmod 0644 'wireguard/keys/work_psk'
maybe chmod 0644 'wireguard/keys/work_pub'
maybe chmod 0644 'wireguard/wg0.conf'
maybe chmod 0600 'wireguard_2021-01-28-103503.tar.gz'
maybe chmod 0600 'wireguard_2022-01-24-091516.tar.gz'
maybe chmod 0755 'wireshark'
maybe chmod 0644 'wireshark/init.lua'
maybe chmod 0755 'wpa_supplicant'
+18
View File
@@ -56,3 +56,21 @@ if [ -x /usr/lib/command-not-found -o -x /usr/share/command-not-found/command-no
fi
}
fi
##-----------------------------------------------------
## better-ls
if [ -f /usr/local/bin/better-ls.sh ] && [ -n "$( echo $- | grep i )" ]; then
source /usr/local/bin/better-ls.sh
fi
##-----------------------------------------------------
## alias
if [ -f /usr/local/bin/alias.sh ] && [ -n "$( echo $- | grep i )" ]; then
source /usr/local/bin/alias.sh
fi
##-----------------------------------------------------
## better-history
if [ -f /usr/local/bin/better-history.sh ] && [ -n "$( echo $- | grep i )" ]; then
source /usr/local/bin/better-history.sh
fi
+1 -1
View File
@@ -1 +1 @@
{'protocol': 'http', 'installed_aghash': 'cda2a50c93cf78cc', 'last_error': None, 'site': 'realm', 'last_check': 1652427106.5422986, 'host_name': 'serviceraspi.realm.local', 'server': '192.168.0.99', 'last_update': 1652340062.2436132, 'host_secret': 'pntxhkgisefetedlluhmbneceelnviymvmrfcsaezocoirlcjurakqmfhjuunxlv', 'user': 'caelebfi', 'pending_hash': None}
{'protocol': 'http', 'installed_aghash': 'cda2a50c93cf78cc', 'last_error': None, 'site': 'realm', 'last_check': 1652430734.7515695, 'host_name': 'serviceraspi.realm.local', 'server': '192.168.0.99', 'last_update': 1652340062.2436132, 'host_secret': 'pntxhkgisefetedlluhmbneceelnviymvmrfcsaezocoirlcjurakqmfhjuunxlv', 'user': 'caelebfi', 'pending_hash': None}
Regular → Executable
View File
@@ -0,0 +1,64 @@
##==============================================================================
## COLORS
##
## Control the color and format scheme of the bash prompt.
## The prompt is divided into segments, listed below starting from the left:
## - USER: shows the user's name.
## - HOST: shows the host's name.
## - PWD: shows the current directory.
## - GIT: if inside a git repository, shows the name of current branch.
## - INPUT: actual bash input.
##
## Valid color options:
## - white black light-gray dark-gray
## red green yellow blue cyan purple
## light-red light-green light-yellow light-blue light-cyan light-purple
## - Values in the range [0-255] for 256 bit colors. To check all number-color
## pairs for your terminal, you may run the following snippet by HaleTom:
## curl -s https://gist.githubusercontent.com/HaleTom/89ffe32783f89f403bba96bd7bcd1263/raw/ | bash
## or search something like "bash 256 color codes" on the internet.
##
##==============================================================================
font_color_user="white"
background_user="blue"
texteffect_user="bold"
font_color_host="white"
background_host="light-blue"
texteffect_host="bold"
font_color_pwd="dark-gray"
background_pwd="white"
texteffect_pwd="bold"
font_color_git="light-gray"
background_git="dark-gray"
texteffect_git="bold"
font_color_input="cyan"
background_input="none"
texteffect_input="bold"
##==============================================================================
## BEHAVIOR
##==============================================================================
local separator_char='\uE0B0' # Separation character, '\uE0B0'=triangle
enable_vertical_padding=true # Add extra new line over prompt
##==============================================================================
## GIT
##==============================================================================
show_git=true # Enable/Disable git info if inside a repo
git_symbol_synced=''
git_symbol_unpushed='△'
git_symbol_unpulled='▽'
git_symbol_unpushedunpulled='○'
git_symbol_dirty='!'
git_symbol_dirty_unpushed='▲'
git_symbol_dirty_unpulled='▼'
git_symbol_dirty_unpushedunpulled='●'
@@ -0,0 +1,64 @@
##==============================================================================
## COLORS
##
## Control the color and format scheme of the bash prompt.
## The prompt is divided into segments, listed below starting from the left:
## - USER: shows the user's name.
## - HOST: shows the host's name.
## - PWD: shows the current directory.
## - GIT: if inside a git repository, shows the name of current branch.
## - INPUT: actual bash input.
##
## Valid color options:
## - white black light-gray dark-gray
## red green yellow blue cyan purple
## light-red light-green light-yellow light-blue light-cyan light-purple
## - Values in the range [0-255] for 256 bit colors. To check all number-color
## pairs for your terminal, you may run the following snippet by HaleTom:
## curl -s https://gist.githubusercontent.com/HaleTom/89ffe32783f89f403bba96bd7bcd1263/raw/ | bash
## or search something like "bash 256 color codes" on the internet.
##
##==============================================================================
font_color_user="white"
background_user="black"
texteffect_user="bold"
font_color_host="white"
background_host="dark-gray"
texteffect_host="bold"
font_color_pwd="black"
background_pwd="light-gray"
texteffect_pwd="bold"
font_color_git="black"
background_git="white"
texteffect_git="bold"
font_color_input="none"
background_input="none"
texteffect_input="bold"
##==============================================================================
## BEHAVIOR
##==============================================================================
local separator_char='\uE0B0' # Separation character, '\uE0B0'=triangle
enable_vertical_padding=true # Add extra new line over prompt
##==============================================================================
## GIT
##==============================================================================
show_git=true # Enable/Disable git info if inside a repo
git_symbol_synced=''
git_symbol_unpushed='△'
git_symbol_unpulled='▽'
git_symbol_unpushedunpulled='○'
git_symbol_dirty='!'
git_symbol_dirty_unpushed='▲'
git_symbol_dirty_unpulled='▼'
git_symbol_dirty_unpushedunpulled='●'
@@ -0,0 +1,65 @@
##==============================================================================
## COLORS
##
## Control the color and format scheme of the bash prompt.
## The prompt is divided into segments, listed below starting from the left:
## - USER: shows the user's name.
## - HOST: shows the host's name.
## - PWD: shows the current directory.
## - GIT: if inside a git repository, shows the name of current branch.
## - INPUT: actual bash input.
##
## Valid color options:
## - white black light-gray dark-gray
## red green yellow blue cyan purple
## light-red light-green light-yellow light-blue light-cyan light-purple
## - Values in the range [0-255] for 256 bit colors. To check all number-color
## pairs for your terminal, you may run the following snippet by HaleTom:
## curl -s https://gist.githubusercontent.com/HaleTom/89ffe32783f89f403bba96bd7bcd1263/raw/ | bash
## or search something like "bash 256 color codes" on the internet.
##
##==============================================================================
font_color_user="light-gray"
background_user="green"
texteffect_user="bold"
font_color_host="black"
background_host="light-green"
texteffect_host="bold"
font_color_pwd="dark-gray"
background_pwd="light-gray"
texteffect_pwd="bold"
font_color_git="light-gray"
background_git="dark-gray"
texteffect_git="bold"
font_color_input="green"
background_input="none"
texteffect_input="bold"
##==============================================================================
## BEHAVIOR
##==============================================================================
local separator_char='\uE0B0' # Separation character, '\uE0B0'=triangle
enable_vertical_padding=true # Add extra new line over prompt
##==============================================================================
## GIT
##==============================================================================
show_git=true # Enable/Disable git info if inside a repo
git_symbol_synced=''
git_symbol_unpushed='△'
git_symbol_unpulled='▽'
git_symbol_unpushedunpulled='○'
git_symbol_dirty='!'
git_symbol_dirty_unpushed='▲'
git_symbol_dirty_unpulled='▼'
git_symbol_dirty_unpushedunpulled='●'
@@ -0,0 +1,24 @@
##==============================================================================
## COLORS
##==============================================================================
font_color_user="white"
background_user="magenta"
texteffect_user="bold"
font_color_host="white"
background_host="light-magenta"
texteffect_host="bold"
font_color_pwd="dark-gray"
background_pwd="white"
texteffect_pwd="bold"
font_color_git="light-gray"
background_git="dark-gray"
texteffect_git="bold"
font_color_input="light-magenta"
background_input="none"
texteffect_input="bold"
@@ -0,0 +1,65 @@
##==============================================================================
## COLORS
##
## Control the color and format scheme of the bash prompt.
## The prompt is divided into segments, listed below starting from the left:
## - USER: shows the user's name.
## - HOST: shows the host's name.
## - PWD: shows the current directory.
## - GIT: if inside a git repository, shows the name of current branch.
## - INPUT: actual bash input.
##
## Valid color options:
## - white black light-gray dark-gray
## red green yellow blue cyan purple
## light-red light-green light-yellow light-blue light-cyan light-purple
## - Values in the range [0-255] for 256 bit colors. To check all number-color
## pairs for your terminal, you may run the following snippet by HaleTom:
## curl -s https://gist.githubusercontent.com/HaleTom/89ffe32783f89f403bba96bd7bcd1263/raw/ | bash
## or search something like "bash 256 color codes" on the internet.
##
##==============================================================================
font_color_user="black"
background_user="208"
texteffect_user="bold"
font_color_host="black"
background_host="180"
texteffect_host="bold"
font_color_pwd="black"
background_pwd="white"
texteffect_pwd="bold"
font_color_git="208"
background_git="dark-gray"
texteffect_git="bold"
font_color_input="208"
background_input="none"
texteffect_input="bold"
##==============================================================================
## BEHAVIOR
##==============================================================================
local separator_char='\uE0B0' # Separation character, '\uE0B0'=triangle
enable_vertical_padding=true # Add extra new line over prompt
##==============================================================================
## GIT
##==============================================================================
show_git=true # Enable/Disable git info if inside a repo
git_symbol_synced=''
git_symbol_unpushed='△'
git_symbol_unpulled='▽'
git_symbol_unpushedunpulled='○'
git_symbol_dirty='!'
git_symbol_dirty_unpushed='▲'
git_symbol_dirty_unpulled='▼'
git_symbol_dirty_unpushedunpulled='●'
@@ -0,0 +1,65 @@
##==============================================================================
## COLORS
##
## Control the color and format scheme of the bash prompt.
## The prompt is divided into segments, listed below starting from the left:
## - USER: shows the user's name.
## - HOST: shows the host's name.
## - PWD: shows the current directory.
## - GIT: if inside a git repository, shows the name of current branch.
## - INPUT: actual bash input.
##
## Valid color options:
## - white black light-gray dark-gray
## red green yellow blue cyan purple
## light-red light-green light-yellow light-blue light-cyan light-purple
## - Values in the range [0-255] for 256 bit colors. To check all number-color
## pairs for your terminal, you may run the following snippet by HaleTom:
## curl -s https://gist.githubusercontent.com/HaleTom/89ffe32783f89f403bba96bd7bcd1263/raw/ | bash
## or search something like "bash 256 color codes" on the internet.
##
##==============================================================================
font_color_user="light-gray"
background_user="red"
texteffect_user="bold"
font_color_host="light-gray"
background_host="dark-gray"
texteffect_host="bold"
font_color_pwd="dark-gray"
background_pwd="light-gray"
texteffect_pwd="bold"
font_color_git="black"
background_git="white"
texteffect_git="bold"
font_color_input="red"
background_input="none"
texteffect_input="bold"
##==============================================================================
## BEHAVIOR
##==============================================================================
local separator_char='\uE0B0' # Separation character, '\uE0B0'=triangle
enable_vertical_padding=true # Add extra new line over prompt
##==============================================================================
## GIT
##==============================================================================
show_git=true # Enable/Disable git info if inside a repo
git_symbol_synced=''
git_symbol_unpushed='△'
git_symbol_unpulled='▽'
git_symbol_unpushedunpulled='○'
git_symbol_dirty='!'
git_symbol_dirty_unpushed='▲'
git_symbol_dirty_unpulled='▼'
git_symbol_dirty_unpushedunpulled='●'
@@ -0,0 +1,65 @@
##==============================================================================
## COLORS
##
## Control the color and format scheme of the bash prompt.
## The prompt is divided into segments, listed below starting from the left:
## - USER: shows the user's name.
## - HOST: shows the host's name.
## - PWD: shows the current directory.
## - GIT: if inside a git repository, shows the name of current branch.
## - INPUT: actual bash input.
##
## Valid color options:
## - white black light-gray dark-gray
## red green yellow blue cyan purple
## light-red light-green light-yellow light-blue light-cyan light-purple
## - Values in the range [0-255] for 256 bit colors. To check all number-color
## pairs for your terminal, you may run the following snippet by HaleTom:
## curl -s https://gist.githubusercontent.com/HaleTom/89ffe32783f89f403bba96bd7bcd1263/raw/ | bash
## or search something like "bash 256 color codes" on the internet.
##
##==============================================================================
font_color_user="yellow"
background_user="dark-gray"
texteffect_user="bold"
font_color_host="black"
background_host="yellow"
texteffect_host="bold"
font_color_pwd="black"
background_pwd="light-yellow"
texteffect_pwd="bold"
font_color_git="black"
background_git="white"
texteffect_git="bold"
font_color_input="light-yellow"
background_input="none"
texteffect_input="bold"
##==============================================================================
## BEHAVIOR
##==============================================================================
local separator_char='\uE0B0' # Separation character, '\uE0B0'=triangle
enable_vertical_padding=true # Add extra new line over prompt
##==============================================================================
## GIT
##==============================================================================
show_git=true # Enable/Disable git info if inside a repo
git_symbol_synced=''
git_symbol_unpushed='△'
git_symbol_unpulled='▽'
git_symbol_unpushedunpulled='○'
git_symbol_dirty='!'
git_symbol_dirty_unpushed='▲'
git_symbol_dirty_unpulled='▼'
git_symbol_dirty_unpushedunpulled='●'
+88
View File
@@ -0,0 +1,88 @@
##==============================================================================
## COLORS
##
## Control the color and format scheme of the bash prompt.
## The prompt is divided into segments, listed below starting from the left:
## - USER: shows the user's name.
## - HOST: shows the host's name.
## - PWD: shows the current directory.
## - GIT: if inside a git repository, shows the name of current branch.
## - PYENV: if inside a Python Virtual environment.
## - TF: if inside a Terraform Workspace.
## - CLOCK: shows current time in H:M format.
## - INPUT: actual bash input.
##
## Valid color options:
## - white black light-gray dark-gray
## red green yellow blue cyan purple
## light-red light-green light-yellow light-blue light-cyan light-purple
## - Values in the range [0-255] for 256 bit colors. To check all number-color
## pairs for your terminal, you may run the following snippet by HaleTom:
## curl -s https://gist.githubusercontent.com/HaleTom/89ffe32783f89f403bba96bd7bcd1263/raw/ | bash
## or search something like "bash 256 color codes" on the internet.
##
##==============================================================================
format="USER HOST PWD GIT PYENV TF"
font_color_user="white"
background_user="blue"
texteffect_user="bold"
font_color_host="white"
background_host="light-blue"
texteffect_host="bold"
font_color_pwd="dark-gray"
background_pwd="white"
texteffect_pwd="bold"
font_color_git="light-gray"
background_git="dark-gray"
texteffect_git="bold"
font_color_pyenv="white"
background_pyenv="blue"
texteffect_pyenv="bold"
font_color_tf="purple"
background_tf="light-purple"
texteffect_tf="bold"
font_color_clock="white"
background_clock="light-blue"
texteffect_clock="bold"
font_color_input="45"
background_input="none"
texteffect_input="bold"
##==============================================================================
## BEHAVIOR
##==============================================================================
separator_char='\uE0B0' # Separation character, '\uE0B0'=triangle
separator_padding_left='' #
separator_padding_right='' #
prompt_horizontal_padding='' #
prompt_final_padding='' #
segment_padding=' ' #
enable_vertical_padding=true # Add extra new line over prompt
max_pwd_char="20"
##==============================================================================
## GIT
##==============================================================================
git_symbol_synced=''
git_symbol_unpushed=' ▲'
git_symbol_unpulled=' ▼'
git_symbol_unpushedunpulled=' ◆'
git_symbol_dirty=' ◔'
git_symbol_dirty_unpushed=' ◔ △'
git_symbol_dirty_unpulled=' ◔ ▽'
git_symbol_dirty_unpushedunpulled=' ◔ ◇'
git_update_period_minutes=15 # Use -1 to disable automatic updates
@@ -0,0 +1,88 @@
##==============================================================================
## COLORS
##
## Control the color and format scheme of the bash prompt.
## The prompt is divided into segments, listed below starting from the left:
## - USER: shows the user's name.
## - HOST: shows the host's name.
## - PWD: shows the current directory.
## - GIT: if inside a git repository, shows the name of current branch.
## - PYENV: if inside a Python Virtual environment.
## - TF: if inside a Terraform Workspace.
## - CLOCK: shows current time in H:M format.
## - INPUT: actual bash input.
##
## Valid color options:
## - white black light-gray dark-gray
## red green yellow blue cyan purple
## light-red light-green light-yellow light-blue light-cyan light-purple
## - Values in the range [0-255] for 256 bit colors. To check all number-color
## pairs for your terminal, you may run the following snippet by HaleTom:
## curl -s https://gist.githubusercontent.com/HaleTom/89ffe32783f89f403bba96bd7bcd1263/raw/ | bash
## or search something like "bash 256 color codes" on the internet.
##
##==============================================================================
format="USER HOST PWD GIT PYENV TF"
font_color_user="white"
background_user="blue"
texteffect_user="bold"
font_color_host="white"
background_host="light-blue"
texteffect_host="bold"
font_color_pwd="dark-gray"
background_pwd="white"
texteffect_pwd="bold"
font_color_git="light-gray"
background_git="dark-gray"
texteffect_git="bold"
font_color_pyenv="white"
background_pyenv="blue"
texteffect_pyenv="bold"
font_color_tf="purple"
background_tf="light-purple"
texteffect_tf="bold"
font_color_clock="white"
background_clock="light-blue"
texteffect_clock="bold"
font_color_input="45"
background_input="none"
texteffect_input="bold"
##==============================================================================
## BEHAVIOR
##==============================================================================
separator_char='\uE0B0' # Separation character, '\uE0B0'=triangle
separator_padding_left='' #
separator_padding_right='' #
prompt_horizontal_padding='' #
prompt_final_padding='' #
segment_padding=' ' #
enable_vertical_padding=true # Add extra new line over prompt
max_pwd_char="20"
##==============================================================================
## GIT
##==============================================================================
git_symbol_synced=''
git_symbol_unpushed=' ▲'
git_symbol_unpulled=' ▼'
git_symbol_unpushedunpulled=' ◆'
git_symbol_dirty=' ◔'
git_symbol_dirty_unpushed=' ◔ △'
git_symbol_dirty_unpulled=' ◔ ▽'
git_symbol_dirty_unpushedunpulled=' ◔ ◇'
git_update_period_minutes=15 # Use -1 to disable automatic updates
@@ -0,0 +1,24 @@
##==============================================================================
## COLORS
##==============================================================================
font_color_user="black"
background_user="red"
texteffect_user="bold"
font_color_host="red"
background_host="black"
texteffect_host="bold"
font_color_pwd="black"
background_pwd="red"
texteffect_pwd="bold"
font_color_git="white"
background_git="black"
texteffect_git="bold"
font_color_input="red"
background_input="none"
texteffect_input="bold"
Binary file not shown.
Binary file not shown.