J'utilise Gnome 2. J'utilise le terminal plusieurs fois et je perds beaucoup de temps à aller dans Applications / Utilitaires / Terminal pour lancer le terminal. Je me demande si je peux lancer le terminal à l'aide de raccourcis clavier. Je voudrais faire quelque chose de similaire à CTRL+...
Je me cogne la tête contre cela depuis un bon moment maintenant. C'est lié à cette question . Je voudrais savoir exactement ce qui se passe lorsque je choisis d'arrêter ma boîte Linux à partir de l'interface graphique. Cela semble être mal (voire pas du tout) documenté. Idéalement, j'espère une...
J'utilise Fedora 17 gnome (shell) 3 et le terminal gnome 3.4.1.1. Je suis à la fois gnome-terminal et midnight commander. Comme gnome-terminal par défaut a toujours utilisé F10 (dont j'ai besoin lors de l'utilisation de mc) pour ouvrir le menu supérieur. Il en était de même cette fois. J'ai pu...
Récemment, Arch linux a livré le package gvfs-google afin de monter Google Drive en utilisant les comptes en ligne Gnome ( gvfs-goa ). Cependant, puisque j'utilise le bureau Cinnamon plutôt que Gnome, il semble que cette intégration ne fonctionne pas correctement. À partir de maintenant, je...
J'ai récemment mis à niveau mon système vers GNOME 3. Dans les versions précédentes de GNOME, la combinaison de touches Ctrl+ Alt+ Dmasquait toutes les fenêtres ouvertes et affichait le bureau. Ce raccourci a été supprimé de GNOME 3 avec le concept de bureau. La métaphore de Desktop existe...
J'utilise Gnome dans Ubuntu 11.04. Je travaille beaucoup dans Emacs, et je trouve que le gestionnaire de fenêtres Gnome saisit certaines des clés Emacs. Dans une certaine mesure, je peux arrêter cela en parcourant laborieusement chacun des raccourcis Système-> Préférences-> Clavier et en...
Je cherche spécifiquement à changer la mise en forme à deux endroits: Sur le bureau, la date / heure indique "Sam 21:05". Je voudrais qu'il se lit "23-Jul-11 21:05" ou "23 Jul 11 21:05". En d'autres termes, je souhaite modifier l'affichage du jour de la semaine pour afficher le jour, le nom du...
J'utilise zsh et gdm pour exécuter gnome. Il y a quelque temps, j'ai découvert que les variables n'étaient pas définies correctement. Par exemple, LANG / LC_ALL sont incorrects ( ""au lieu de en_GB.UTF-8). J'ai divisé le .zshrcen .zshrcet .profile. Dans ce dernier, j'ai défini les variables...
J'utilise Trisquel GNU / Linux-Libre fourni avec l' environnement de bureau Gnome3 Flashback . Je sais que je peux exécuter l'application GUI en tant que root par sudo& gksudomais je veux savoir que comment exécuter les applications GUI en tant que root à l'aide de pkexec? Lorsque j'essaie...
Est-il possible d'ajouter un utilisateur et de le limiter à exécuter des programmes spéciaux? Par exemple, après la connexion de cet utilisateur, il ne peut ouvrir Firefox que pour utiliser Internet et aucun autre programme ne peut être exécuté par cet utilisateur. Par exemple, dans un terminal,...
J'utilise Konsole 16.08.3-1 (installé via pacman) comme émulateur de terminal par défaut sous Gnome 3.22.2. Normalement, quand je démarre Konsole, je tape Ctrl+ Shift+ Mpour masquer la barre de menus; Je ne l'utilise qu'avec parcimonie, et généralement la barre de menu blanche distrait de mon...
J'ai récemment installé Arch Linux et l'ai principalement installé. Avec de nombreuses autres distributions Linux, un outil est utilisé pour configurer l'apparence de l'écran de connexion. Je voudrais changer le fond d'écran utilisé, le format de date / heure de quelque chose comme "Sam 6:27 PM" à...
Je cherche à faire de la gestion des polices sur mon système Fedora. J'ai installé à la fois Font Manager et Fontmatrix. Mon objectif était de pouvoir avoir plus de polices installées que je ne le souhaitais et de pouvoir activer / désactiver les polices (ou des groupes de polices) quand je le...
Gnome Shell 3.18.5 m'a informé que certaines extensions devaient être mises à jour. J'ai visité https://extensions.gnome.org/local/ de Firefox, mis à jour l'extension Firefox, et maintenant je veux désinstaller certaines des extensions Gnome, par exemple la suivante. Menu du lecteur amovible par l'...
J'utilise ArchLinux, et j'ai récemment installé Spotify qui fonctionne bien, sauf pour une chose: Chaque fois qu'un programme déclenche un son système, le volume du lecteur est automatiquement coupé dans la console de mixage. Comment puis-je arrêter cela? J'ai vérifié que cela se produit également...
Je me demandais, y a-t-il des différences entre les versions Debian Standard et GNOME? Debian n'est-il pas sous GNOME par
Appuyer sur Ctrl+ Alt+ tsemble ne rien faire sur mon Linux Mint 13 MATE. Comment puis-je définir ce raccourci pour lancer une fenêtre de terminal? En détail, il semble que le terminal soit mate-terminalplutôt que
J'essaie d'utiliser Debian en direct à partir d'une clé USB, mais je n'arrive pas à me connecter… Quels sont l'utilisateur et le mot de passe standard pour avoir accès? J'ai essayé de rechercher cette question sur Internet et j'ai utilisé des combinaisons d'informations d'identification utilisateur...
Existe-t-il un raccourci clavier que je peux utiliser pour qu'une fenêtre occupe la moitié gauche ou droite de l'écran? J'utilise une version modifiée d'Ubuntu. Sur Mac, j'utilise simplement Divvy mais je ne sais pas s'il existe un outil Linux pour faire la même
J'adore Linux parce que je contrôle mon système. Mais je annonce de l'école de mac, où les choses sont simples, belles et puissantes. Je l'aime comme ça, au lieu d'avoir beaucoup de boutons et de leviers et tout. Quelqu'un connaît-il un client FTP puissant pour Linux qui est dans la veine de...