remove useless rm

This commit is contained in:
Mylloon 2023-03-12 22:35:11 +01:00
parent ce424be805
commit 4a27a03622
Signed by: Anri
GPG key ID: A82D63DFF8D1317F

View file

@ -92,7 +92,6 @@ main() {
wget -q https://gitlab.com/kyb/fish_ssh_agent/raw/master/functions/fish_ssh_agent.fish -P "$HOME"/.config/fish/functions/ wget -q https://gitlab.com/kyb/fish_ssh_agent/raw/master/functions/fish_ssh_agent.fish -P "$HOME"/.config/fish/functions/
mkdir "$HOME"/.ssh mkdir "$HOME"/.ssh
# Custom config.fish # Custom config.fish
rm "$HOME"/.config/fish/config.fish 2> /dev/null
wget -q https://git.mylloon.fr/Anri/confOS/raw/branch/main/.config/fish/config_wsl.fish -O "$HOME"/.config/fish/config.fish wget -q https://git.mylloon.fr/Anri/confOS/raw/branch/main/.config/fish/config_wsl.fish -O "$HOME"/.config/fish/config.fish
# Custom prompt shell (based on https://github.com/fish-shell/fish-shell/blob/master/share/tools/web_config/themes/Base16%20Eighties.theme) # Custom prompt shell (based on https://github.com/fish-shell/fish-shell/blob/master/share/tools/web_config/themes/Base16%20Eighties.theme)
# Modifications: Changed comment color # Modifications: Changed comment color