Files
terminal-profile/install_profile.sh
2022-05-17 21:48:06 +10:00

34 lines
1.1 KiB
Bash
Executable File

# Fail on any command.
set -eux pipefail
# Install plug-ins (you can git-pull to update them later).
(cd ~/.oh-my-zsh/custom/plugins && git clone https://github.com/zsh-users/zsh-syntax-highlighting)
(cd ~/.oh-my-zsh/custom/plugins && git clone https://github.com/zsh-users/zsh-autosuggestions)
# Replace the configs with the saved one.
sudo cp configs/.zshrc ~/.zshrc
# Copy the modified Agnoster Theme
sudo cp configs/pixegami-agnoster.zsh-theme ~/.oh-my-zsh/themes/pixegami-agnoster.zsh-theme
# Color Theme
dconf load /org/gnome/terminal/legacy/profiles:/:fb358fc9-49ea-4252-ad34-1d25c649e633/ < configs/terminal_profile.dconf
# Add it to the default list in the terminal
add_list_id=fb358fc9-49ea-4252-ad34-1d25c649e633
old_list=$(dconf read /org/gnome/terminal/legacy/profiles:/list | tr -d "]")
if [ -z "$old_list" ]
then
front_list="["
else
front_list="$old_list, "
fi
new_list="$front_list'$add_list_id']"
dconf write /org/gnome/terminal/legacy/profiles:/list "$new_list"
dconf write /org/gnome/terminal/legacy/profiles:/default "'$add_list_id'"
# Switch the shell.
chsh -s $(which zsh)