Bash script to install, activate and deactivate gnome extensions via CLI
Updated 2023-06-20 20:51:05 +02:00
Updated 2023-09-12 16:38:44 +02:00
Updated 2024-01-02 21:22:26 +01:00
contains scripts to manage docker
Updated 2024-02-05 19:18:54 +01:00
Updated 2024-04-04 19:02:37 +02:00
Updated 2024-04-08 15:12:03 +02:00