#!/bin/bash

#Used directory

gnomedir=/usr/share/gnome-shell
theme=gnome-shell-theme.gresource

#Backup Gnome GDM theme in .old file

cd $gnomedir
cp -f $theme $theme.old