Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
tutoriel:changer_arriere_plan_gdm [Le 04/02/2020, 01:43]
84.101.133.214 [Un script pour automatiser la modification de l'écran de connexion]
tutoriel:changer_arriere_plan_gdm [Le 28/12/2020, 01:55] (Version actuelle)
90.89.131.112 [Extraire le thème utilisé]
Ligne 372: Ligne 372:
 rsrc='​gnome-shell-theme.gresource'​ rsrc='​gnome-shell-theme.gresource'​
 gst="/​usr/​share/​gnome-shell/​$rsrc"​ gst="/​usr/​share/​gnome-shell/​$rsrc"​
 + 
 workdir="​$HOME/​shell-theme/​theme"​ workdir="​$HOME/​shell-theme/​theme"​
 xmlFile="​$workdir/​$rsrc.xml"​ xmlFile="​$workdir/​$rsrc.xml"​
 + 
 test -d "​$workdir"​ || mkdir -p "​$workdir"​ test -d "​$workdir"​ || mkdir -p "​$workdir"​
 + 
 cat <<eof >"​$xmlFile" ​ cat <<eof >"​$xmlFile" ​
 <?xml version="​1.0"​ encoding="​UTF-8"?>​ <?xml version="​1.0"​ encoding="​UTF-8"?>​
Ligne 383: Ligne 383:
   <​gresource prefix="/​org/​gnome/​shell/​theme">​   <​gresource prefix="/​org/​gnome/​shell/​theme">​
 eof eof
 + 
 while read -r file while read -r file
 do do
-    filename="​${file##*/}"+    filename="​$(echo $file | sed 's%/org/​gnome/​shell/​theme/​%%g'​)"
     echo " ​ <​file>​$filename</​file>"​ >>"​$xmlFile"​     echo " ​ <​file>​$filename</​file>"​ >>"​$xmlFile"​
 +    mkdir -p "​$workdir/​$(dirname $filename)"​
     gresource extract "​$gst"​ "​$file"​ >"​$workdir/​$filename"​     gresource extract "​$gst"​ "​$file"​ >"​$workdir/​$filename"​
 done < <​(gresource list "​$gst"​) done < <​(gresource list "​$gst"​)
 + 
 cat <<eof >>"​$xmlFile"​ cat <<eof >>"​$xmlFile"​
   </​gresource>​   </​gresource>​
 </​gresources>​ </​gresources>​
 eof eof
 +
 </​code>​ </​code>​
  
  • tutoriel/changer_arriere_plan_gdm.1580777030.txt.gz
  • Dernière modification: Le 04/02/2020, 01:43
  • par 84.101.133.214