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
Prochaine révision
Révision précédente
Prochaine révision Les deux révisions suivantes
tutoriel:changer_arriere_plan_gdm [Le 07/07/2019, 20:15]
zococo [Un script pour automatiser la modification de l'écran de connexion]
tutoriel:changer_arriere_plan_gdm [Le 03/02/2020, 21:14]
84.101.133.214 [Un script pour automatiser la modification de l'écran de connexion]
Ligne 115: Ligne 115:
 # Étape 1 - Vérification de la présence du paquet yad (zenity utilisé dans le script initial, yad est un "​fork"​ plus puissant) # Étape 1 - Vérification de la présence du paquet yad (zenity utilisé dans le script initial, yad est un "​fork"​ plus puissant)
 #​---------------------------------------------------#​ #​---------------------------------------------------#​
-if [[ $(dpkg -s yad 2>/​dev/​null | grep Status | cut -d' ' -f4) != "​installed"​ ]]then+## ce n'est pas possible ## 
 +## si yad n'est pas installé,​ 
 +if [[ $(dpkg -s yad 2>/​dev/​null | grep Status | cut -d' ' -f4) != "​installed"​ ]] 
 +then 
 +## alors il n'est pas possible de l'​utiliser pour envoyer un message !
   yad --image=error --title="​Installez le paquet yad" --text="​Le paquet <​b>​yad</​b>​ est nécessaire au bon fonctionnement de ce script.\n\nInstallez le paquet par <​b>​sudo apt-get install yad</​b>​\n\nArrêt du traitement. Erreur 10."   yad --image=error --title="​Installez le paquet yad" --text="​Le paquet <​b>​yad</​b>​ est nécessaire au bon fonctionnement de ce script.\n\nInstallez le paquet par <​b>​sudo apt-get install yad</​b>​\n\nArrêt du traitement. Erreur 10."
  
Ligne 357: Ligne 361:
 Pour extraire le thème par défaut, vous pouvez utiliser le script ''​extractgst.sh''​ suivant : Pour extraire le thème par défaut, vous pouvez utiliser le script ''​extractgst.sh''​ suivant :
  
-<file bash>#​!/​bin/​sh+<code bash>#​!/​bin/​bash 
 +  
 +rsrc='​gnome-shell-theme.gresource'​ 
 +gst="/​usr/​share/​gnome-shell/​$rsrc"​
  
-workdir=${HOME}/​shell-theme +workdir="$HOME/​shell-theme/​theme" 
-if [ ! -d ${workdir}/​theme ​]; then +xmlFile="​$workdir/$rsrc.xml"
-  mkdir -p ${workdir}/theme +
-fi +
-gst=/​usr/​share/​gnome-shell/​gnome-shell-theme.gresource+
  
-for r in `gresource list $gst`; do +test -d "$workdir"​ || mkdir -p "​$workdir"​ 
-        gresource extract $gst $>​$workdir/​${r#\/org\/gnome\/shell/} + 
-done</file>+cat <<eof >"​$xmlFile"​  
 +<?xml version="​1.0"​ encoding="​UTF-8"?>​ 
 +<​gresources>​ 
 +  <​gresource prefix="/​org/​gnome/​shell/​theme">​ 
 +eof 
 + 
 +while read -r file 
 +do 
 +    ​filename="​${file##​*/​}"​ 
 +    echo " ​ <​file>​$filename</​file>"​ >>"​$xmlFile"​ 
 +    ​gresource extract ​"$gst" "$file" ​>"$workdir/$filename"​ 
 +done < <​(gresource list "​$gst"​) 
 + 
 +cat <<eof >>"​$xmlFile"​ 
 +  </gresource>​ 
 +</gresources>​ 
 +eof 
 +</code>
  
 Exécutez ce script. Exécutez ce script.
Ligne 381: Ligne 402:
 === Le fichier XML === === Le fichier XML ===
  
-Ensuite ​vous devez créer, toujours dans ce répertoire,​ le fichier ''​gnome-shell-theme.gresource.xml'' ​avec le contenu suivant :+Ensuite, toujours dans ce répertoire, ​vous pouvez vérifier que le fichier ''​gnome-shell-theme.gresource.xml'' ​correspond au contenu suivant :
  
 <​code><?​xml version="​1.0"​ encoding="​UTF-8"?>​ <​code><?​xml version="​1.0"​ encoding="​UTF-8"?>​
Ligne 442: Ligne 463:
 === Compiler === === Compiler ===
  
-Enfin, ouvrez un terminal pour recompiler votre thème avec les commandes suivantes :+Enfin, ouvrez un terminal pour recompiler votre thème avec les commandes suivantes ​(libglib2.0-dev doit être installé) ​:
 <​code>​cd ~/​shell-theme/​theme/​ <​code>​cd ~/​shell-theme/​theme/​
 glib-compile-resources gnome-shell-theme.gresource.xml</​code>​ glib-compile-resources gnome-shell-theme.gresource.xml</​code>​
  • tutoriel/changer_arriere_plan_gdm.txt
  • Dernière modification: Le 03/05/2023, 23:35
  • par Coeur Noir