#1 Le 28/11/2010, à 13:31
- elnk
[Résolu]Script gnome/kde
Bonjour,
Je voulais savoir si je pouvais faire un script qui au démarrage d'un session vérifierai si je suis sous gnome ou kde.
Et dans l'un ou l'autre cas faire une action différente ?
En fait je cherche surtout a savoir comment je différencie le fait ( par un script ) si je j'ai demarrer ma session sous kde ou ubuntu normal ( gnome ) ???
Merci a vous
Dernière modification par elnk (Le 29/11/2010, à 08:08)
Hors ligne
#2 Le 28/11/2010, à 16:35
- elnk
Re : [Résolu]Script gnome/kde
Merci mais en fait je ne comprend trop comment m'en servir de plus quand j'ecri
GNOME_DESKTOP_SESSION_ID dans mon terminal le retour est :
GNOME_DESKTOP_SESSION_ID: command not found
.. je ne sais pas si c'est normal
Hors ligne
#3 Le 28/11/2010, à 20:18
- elnk
Re : [Résolu]Script gnome/kde
?? up svp :-(
Hors ligne
#4 Le 28/11/2010, à 22:11
- elnk
Re : [Résolu]Script gnome/kde
.. re
j'ai un cairo-dock sur gnome que je ne voudrai pas avoir sur kde hmm
J'essaie donc de faire un script .sh qui déterminerai sur quelle session je suis ( gnome ou kde ),
pour kill ou non le cairo-dock hmm
Mais je ne trouve pas la commande "terminal" qui me permet de différencier celà hmm
Merci à vous,
Hors ligne
#5 Le 28/11/2010, à 23:01
- chopinhauer
Re : [Résolu]Script gnome/kde
La variable d'environnement GDMSESSION contient la valeur de la session en cours.
Pensez à donner un bon titre à vos sujets : cela permettra d'aider d'autres utilisateurs dans votre même situation. Ce n'est pas qu'en donnant des solutions qu'on aide, mais aussi en posant des bonnes questions et… facilement trouvables.
Hors ligne
#6 Le 29/11/2010, à 01:43
- Chewbacca
Re : [Résolu]Script gnome/kde
Ou encore $DESKTOP_SESSION
Portable : Core 7 5500U - 8Go RAM - Intel HD Graphics 5500 + Nvidia GT 840M (optimus de m****), 6 Go DDR3 - Ubuntu GNOME 15.04 + GNOME 3.6
Media Center : Raspberry Pi - Openelec 4
DataServeur @Home : Raspberry Pi - Raspbian
Hors ligne
#7 Le 29/11/2010, à 02:21
- elnk
Re : [Résolu]Script gnome/kde
Merci a toi aussi Chewbacca.
Mais les commandes que vous me donnés ont comme retour, "commande introuvable"
Je n'arrive pas a definir si je suis sou une session gnome ou kde
Hors ligne
#8 Le 29/11/2010, à 02:27
- chopinhauer
Re : [Résolu]Script gnome/kde
Parce que ce n'est pas de commandes, mais des variables d'environnement. Sous shell leur valeur peut-être obtenue avec un '$' devant le nom. Par exemple :
echo $GDMSESSION
le shell remplace d'abord la variable par sa valeur et ensuite exécute 'echo valeur'.
Pensez à donner un bon titre à vos sujets : cela permettra d'aider d'autres utilisateurs dans votre même situation. Ce n'est pas qu'en donnant des solutions qu'on aide, mais aussi en posant des bonnes questions et… facilement trouvables.
Hors ligne
#9 Le 29/11/2010, à 02:52
- elnk
Re : [Résolu]Script gnome/kde
Ha oki d'accord merci beaucoup
Alors,
echo $GDMSESSION
ne me renvoie rien, enfin un vide,
mais,
echo $DESKTOP_SESSION
me renvoi "gnome"
je test et vous tin au courant du résultat. encore merci
Hors ligne
#10 Le 29/11/2010, à 03:51
- elnk
Re : [Résolu]Script gnome/kde
Bon ca fait certes lourd et bourrin mais j'ai fait comme ça :
#! /bin/bash
sleep 5;
if [ "$DESKTOP_SESSION" = "kde" ]; then
{
killall cairo-dock;
}
fi
exit 0;
Hors ligne