This commit is contained in:
davedatum
2019-11-04 23:10:47 +00:00
parent 7e63616ad1
commit 23a7402a75
43 changed files with 10886 additions and 1 deletions

View File

@@ -0,0 +1,19 @@
#!/bin/bash
#Used directory
gnomedir=/usr/share/gnome-shell
theme=gnome-shell-theme.gresource
#Remove GDM theme and icons
cd $gnomedir
if [ -f $theme.old ]; then
rm $theme
mv $theme.old $theme
else
echo
echo "Backup GDM theme not present: re-install gnome-shell is needed"
echo
fi