diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/alacritty.sh | 29 | ||||
| -rwxr-xr-x | scripts/setup.sh | 1 |
2 files changed, 0 insertions, 30 deletions
diff --git a/scripts/alacritty.sh b/scripts/alacritty.sh deleted file mode 100755 index 56d47f6..0000000 --- a/scripts/alacritty.sh +++ /dev/null @@ -1,29 +0,0 @@ -#!/usr/bin/env bash - -set -o errexit -o nounset -o pipefail -shopt -s inherit_errexit 2> /dev/null || true -shopt -s lastpipe - -config_dir="$HOME/.config/alacritty" -readonly config_dir - -pull() { - local themes_dir - themes_dir="$config_dir/themes" - local themes_url='https://github.com/alacritty/alacritty-theme.git' - - if [ -d "$themes_dir" ]; then - echo "Updating themes for alacritty" - git -C "$themes_dir" pull - else - echo "Installing themes for alacritty" - git clone -q "$themes_url" "$themes_dir" - fi -} - -main() { - mkdir -p -- "$config_dir" - pull -} - -main diff --git a/scripts/setup.sh b/scripts/setup.sh index ae04fb5..f437776 100755 --- a/scripts/setup.sh +++ b/scripts/setup.sh @@ -51,7 +51,6 @@ links_update() { } pre_update() { - "$script_dir/alacritty.sh" "$script_dir/vim.sh" # Remove ~/.ssh/known_hosts, I don't use it (and have a corresponding |
