Git: better diff tool configuration

This commit is contained in:
Filippo Berto 2023-06-22 12:17:21 +02:00
parent c746af2433
commit 8f59f0225c
No known key found for this signature in database
GPG key ID: FE98AE5EC52B1056
3 changed files with 4 additions and 2 deletions

View file

@ -18,7 +18,7 @@
# signal-desktop
# slack
# wineFull
arandr authenticator authy cava discord dmenu droidcam easyeffects evince evolution gallery-dl google-chrome gucharmap handbrake httpie inkscape keyboard-switch krita meld openvpn p7zip pavucontrol pentablet-driver procps pulseaudio retroarchFull shotwell spotify tdesktop thunderbird transmission-gtk virt-manager virt-viewer wireguard-tools xournalpp zoom-us;
arandr authenticator authy cava discord dmenu droidcam easyeffects evince evolution gallery-dl google-chrome gucharmap handbrake httpie inkscape keyboard-switch krita openvpn p7zip pavucontrol pentablet-driver procps pulseaudio retroarchFull shotwell spotify tdesktop thunderbird transmission-gtk virt-manager virt-viewer wireguard-tools xournalpp zoom-us;
inherit (pkgs.gnome)
# geary
# gnome-boxes