Aller au contenu
wikinotes
Outils pour utilisateurs
S'identifier
Outils du site
Rechercher
Outils
Afficher la page
Anciennes révisions
Tout plier/déplier
Liens de retour
Derniers changements
Gestionnaire Multimédia
Plan du site
S'identifier
>
Derniers changements
Gestionnaire Multimédia
Plan du site
Piste :
•
installation-serveur
•
extension-cardbook-echec-synchronisation
•
installation-serveur
•
redefinir-mot-de-passe-admin
•
montage_partage_cifs
•
debian-changer-fuseau-horaire-et-regler-heure
•
mise-a-jour
•
installer-serveur-mongodb-debian13
•
installation
•
afficher-imei-serial-number
commande
Recherche
Voici les résultats de votre recherche.
Rechercher
Commence par
Correspondance exacte
Commence par
Se termine par
Contient
@sysadmin:linux:gui:gnome
toute catégorie
toute date
toute date
la semaine dernière
le mois dernier
l'année dernière
Trier par nombre de résultats
Trier par nombre de résultats
Trier par date de modification
Résultats plein texte:
afficher-version
2 Occurrences trouvées
,
Dernière modification :
il y a 5 semaines
formations sur le système''. Depuis la ligne de
commande
, invoquer ''gnome-shell'' avec l'option ''%%--ver... peuvent également regrouper/afficher les informations globales du système sur la ligne de
commande
. </note>
dock-masquer-lecteurs
1 Occurrences trouvées
,
Dernière modification :
il y a 5 semaines
a restaurer la valeur par défaut de la clé via la
commande
: <code bash> gsettings reset org.gnome.shell.ex
Outils de la page
Afficher la page
Anciennes révisions
Liens de retour
Tout plier/déplier
Haut de page