hektor/dots
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Replace 'alacritty' with 'kitty'

Browse Source
This commit is contained in:
Hektor Misplon
2025-10-03 23:42:19 +02:00
parent 060f6a2f83
commit 20914d33c7
8 changed files with 3 additions and 106 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.bin/setup
View File

@@ -1,7 +1,6 @@
#!/bin/bash
pac_list=(
alacritty
at
automake
autopep8
@@ -30,6 +29,7 @@ htop
httpie
jq
keepassxc
kitty
lua-language-server
make
man-db

4
.bin/setup-gnome
View File

@@ -22,8 +22,8 @@ gsettings set org.gnome.desktop.wm.keybindings move-to-workspace-4 "['<Super><Sh
gsettings set org.gnome.desktop.wm.keybindings move-to-workspace-5 "['<Super><Shift>g']"
gsettings set org.gnome.settings-daemon.plugins.media-keys custom-keybindings "['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom1/']"
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom1/ name "Alacritty"
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom1/ command "alacritty"
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom1/ name "Kitty"
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom1/ command "kitty"
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom1/ binding "<Shift><Super>Return"
gsettings set org.gnome.shell.keybindings screenshot "['Print']"