Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente | Prochaine révision Les deux révisions suivantes | ||
|
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] 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> | ||