Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
linux:custom_mint_cinnamon_21 [2025/07/12 10:23] – changement du fond d’ecran uniquement si pas default background minimi | linux:custom_mint_cinnamon_21 [2025/07/26 17:12] (Version actuelle) – correction "settings" -> "gsettings" minimi | ||
---|---|---|---|
Ligne 524: | Ligne 524: | ||
fi | fi | ||
+ | # Resolution bug pour bepo AltGr+space ne faisant pas de _ / désactivation du raccourci win+space | ||
+ | gsettings set org.gnome.libgnomekbd.keyboard options " | ||
+ | |||
echo "[ Dossiers ] suppression des dossiers utilisateurs Public Warpinator Modèles" | echo "[ Dossiers ] suppression des dossiers utilisateurs Public Warpinator Modèles" | ||
rmdir ~/Public ~/ | rmdir ~/Public ~/ | ||
Ligne 537: | Ligne 540: | ||
echo "[ Cinnamon ] changement fond d' | echo "[ Cinnamon ] changement fond d' | ||
- | backgroundCurrent=$(settings | + | backgroundCurrent=$(gsettings |
codename=$(lsb_release -cs ) | codename=$(lsb_release -cs ) | ||
release=$(lsb_release -rs | sed -e ' | release=$(lsb_release -rs | sed -e ' | ||
if $(echo ${backgroundCurrent} | grep -q " | if $(echo ${backgroundCurrent} | grep -q " | ||
then | then | ||
- | case $release in | + | case $release in |
- | 21 ) | + | |
- | | + | |
22 ) | 22 ) | ||
gsettings set org.cinnamon.desktop.background picture-uri ' | gsettings set org.cinnamon.desktop.background picture-uri ' | ||
+ | 21 ) | ||
+ | gsettings set org.cinnamon.desktop.background picture-uri ' | ||
+ | |||
| | ||
fi | fi | ||
Ligne 887: | Ligne 891: | ||
then | then | ||
wget " | wget " | ||
- | if [ " | + | if [ " |
then | then | ||
sudo cp policies.json / | sudo cp policies.json / |