Mirror
/
AnduinOS
mirror of https://github.com/Anduin2017/AnduinOS.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add gnome-shell extension download in upgrade script for version 1.1.5

This commit is contained in:
Anduin Xue 2025-05-22 05:32:07 +00:00
parent b1670dfd48
commit 27af57d04e
No known key found for this signature in database
GPG Key ID: D33FA9407A6BE728
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/upgrade.sh
View File

@ -184,6 +184,9 @@ function upgrade_114_to_115() {
sudo wget -O /etc/fonts/local.conf $fonts_config
fc-cache -f
ext_source="https://gitlab.aiursoft.cn/anduin/anduinos/-/blob/1.4/src/mods/29-gnome-extension-anduinos-switcher/switcher@anduinos/extension.js?ref_type=heads"
sudo wget -O /usr/share/gnome-shell/extensions/switcher@anduinos/extension.js $ext_source
apt list --installed | grep software-properties-gtk || install_spg
judge "Upgrade from 1.1.4 to 1.1.5 completed"