add zip command

This commit is contained in:
Mylloon 2023-02-16 20:18:50 +01:00
parent 4c88475333
commit f3c3b6ccd2
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
2 changed files with 3 additions and 0 deletions

View file

@ -138,6 +138,8 @@ main() {
fish -c "abbr diff 'delta'" fish -c "abbr diff 'delta'"
fish -c "abbr grep 'grep -Irni \'txt\' .'" fish -c "abbr grep 'grep -Irni \'txt\' .'"
fish -c "abbr spotify 'spotify &> /dev/null & disown'" fish -c "abbr spotify 'spotify &> /dev/null & disown'"
fish -c "abbr zip 'zip -r archive.zip dossier'"
# Fish by default in terminal app # Fish by default in terminal app
local profil local profil
profil=$(gsettings get org.gnome.Terminal.ProfilesList list) profil=$(gsettings get org.gnome.Terminal.ProfilesList list)

View file

@ -150,6 +150,7 @@ main() {
fish -c "abbr diff 'delta'" fish -c "abbr diff 'delta'"
fish -c "abbr grep 'grep -Irni \'txt\' .'" fish -c "abbr grep 'grep -Irni \'txt\' .'"
fish -c "abbr unison 'unison ~/src ~/u_dest'" fish -c "abbr unison 'unison ~/src ~/u_dest'"
fish -c "abbr zip 'zip -r archive.zip dossier'"
# === Micro configuration == # === Micro configuration ==
git config --global core.editor "micro" git config --global core.editor "micro"