From 567b04765dbade636d0d22f679b43bc5dbf9927e Mon Sep 17 00:00:00 2001 From: Mylloon Date: Wed, 11 Oct 2023 09:16:53 +0200 Subject: [PATCH 1/3] tmp: gnome 45 --- .config/update_theme.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.config/update_theme.sh b/.config/update_theme.sh index 9fd8e0c..ee0fe41 100755 --- a/.config/update_theme.sh +++ b/.config/update_theme.sh @@ -19,6 +19,8 @@ main() { GT_default=$(gsettings get org.gnome.Terminal.ProfilesList default | tr -d \') case $1 in "sunset" ) # Go to dark mode + # Global Gnome theme + #gsettings set org.gnome.desktop.interface color-scheme prefer-dark # Set the Dracula theme set org.gnome.desktop.wm.preferences theme Dracula # Set the Terminal profile @@ -31,6 +33,8 @@ main() { sed -i "s/bubblegum/monokai/g" "$HOME"/.config/micro/settings.json ;; "sunrise" ) # Go to light mode + # Global Gnome theme + #gsettings set org.gnome.desktop.interface color-scheme prefer-light # Set the Terminal profile gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${GT_default}"/ visible-name "Light" gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${GT_default}"/ foreground-color "rgb(23,20,33)" From 78cf98f27334a66fe62d2b03d057a85a7841f555 Mon Sep 17 00:00:00 2001 From: Mylloon Date: Wed, 11 Oct 2023 09:46:47 +0200 Subject: [PATCH 2/3] exts stuff --- .mozilla/firefox/user.js | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.mozilla/firefox/user.js b/.mozilla/firefox/user.js index 1174408..5204847 100644 --- a/.mozilla/firefox/user.js +++ b/.mozilla/firefox/user.js @@ -29,3 +29,5 @@ user_pref("pdfjs.annotationEditorMode", 0); // permet d'annoté les PDFs user_pref("alerts.useSystemBackend", true); // notification natives sur windows user_pref("extensions.pocket.enabled", false); // désactive Pocket user_pref("layout.css.has-selector.enabled", true); // https://developer.mozilla.org/en-US/docs/Web/CSS/:has +user_pref("extensions.webextensions.restrictedDomains", ""); // retire les domaines restreints (domanes de Mozilla) pour les extensions +user_pref("extensions.quarantinedDomains.enabled", false); // autorise les extensions à fonctionner sur tout les sites From 5e2c1efc2ba7d1ff86605066dcd5df8c04bebd7c Mon Sep 17 00:00:00 2001 From: Mylloon Date: Wed, 11 Oct 2023 16:34:31 +0200 Subject: [PATCH 3/3] fix? --- .config/fish/functions/ugc.fish | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.config/fish/functions/ugc.fish b/.config/fish/functions/ugc.fish index b39bbf2..60751c9 100644 --- a/.config/fish/functions/ugc.fish +++ b/.config/fish/functions/ugc.fish @@ -41,6 +41,9 @@ function ugc --description "Update git fork." git switch $default_branch end + # Pull from the origin remote + git pull $origin_remote $default_branch + # Merge upstream git fetch $upstream_remote git pull $upstream_remote $default_branch