Menu principal

Statut de la page

Un bureau Unity avec Gnome Shell

Dans le billet précédent “De Ubuntu à Ubuntu Gnome” j’ai publié une copie d’écran de mon bureau Gnome Shell que j’ai personnalisé pour être le plus proche d’un bureau Unity. Je rappelle ici que je suis parti d’une nouvelle installation de la variante officielle Ubuntu Gnome (voir le billet précédent cité ci-dessus). Voici donc les étapes qui m’ont permis de passer de ce bureau –Bureau par défaut Gnome Shell–  [...]
Lire la suite
Vus : 290
Publié par Nizar Kerkeni : 112

Raccourcis clavier Gnome Shell

Avez-vous jeté un oeil à la liste des raccourcis claviers pour le bureau Gnome? J’y ai découvert des trucs bien sympas comme : verrouiller sa session basculer entre les fenêtres d’une même application prendre une capture d’écran de l’application enregistrer une vidéo de ce qui se passe à l’écran bouger une fenêtre d’un écran à l’autre se déplacer entre les bureau virtuels ouvrir le panneau de notification lancer une commande   Related Posts:  [...]
Lire la suite
Vus : 165
Publié par Tuxicoman : 338

Gérer les extensions pour GNOME Shell avec Firefox en 2017

Il y a quasiment cinq ans, en même temps que sortait la version 3.4 de GNOME, était inauguré le site extensions.gnome.org qui concrétisait le projet SweetTooth (wiki du projet, article d'explications), soit un logiciel en ligne permettant, à la façon du site addons.mozilla.org ou du magasin d'applications Android, d'installer/désinstaller facilement des extensions pour GNOME Shell. Jusqu'à présent, un  [...]
Lire la suite
Vus : 233
Publié par antistress : 153

Faire le ménage dans son répertoire personnel

Voici un petit script shell qui permet de supprimer des fichiers inutiles dans mon répertoire personnel. Je lance ce script régulièrement avant d’effectuer la synchronisation de mes répertoires de travail avec mon disque externe. Ce script recherche des fichiers dans mon répertoire personnel qui ne sont pas intéressants [...]
Lire la suite
Vus : 352
Publié par Nizar Kerkeni : 112

Prompt coloré pour son shell

J'utilise plusieurs connexions en même temps à différentes machines en même temps via ssh, parfois avec le même nom d'utilisateur et il est difficile de s'y retrouver. Certes, j'ai à chaque fois genma@nom_de_la_machine dans le prompt mais je cherchais à avoir quelque chose de plus visuel rapidement que d'avoir à lire le nom de la machine (car il m'est arrivé de ne pas taper la bonne commande pour la bonne machine...) D'où l'idée d'avoir un prompt en couleur selon l'utilisateur et /ou la machine. Attention, ce ne sera que le prompt, pas les commandes en elle-mêmes. A la fin du fichier .bashrc, on ajoute les lignes suivantes : Couleur bleu export PS1=“\\[\\033[38;5;25m\\]\\u@\\[$(tput [...]
Lire la suite
Vus : 357
Publié par genma : 218

Vérifiez vos scripts bash avec ShellCheck

Si vous faites souvent des scripts Bash, (perso j'en ai fait quelques uns) voici un service qui vous sera utile pour vérifier vos erreurs, et qui vous fera sûrement gagner du temps : ShellCheck. ShellCheck peut s'utiliser en ligne, via le site web, où vous copiez/collez votre script :  [...]
Lire la suite
Vus : 869
Publié par Angristan : 51

asciinema : enregistrer et partager ses sessions de terminal

Internet c'est génial. Parfois on découvre des merveilles dont le concept ne nous avait jamais traversé l'esprit, et c'est ce qui m'est arrivé aujourd'hui en découvrant asciinema. C'est un logiciel libre qui permet d'enregistrer ses sessions de terminal directement depuis... son terminal ! Petite démo (vitesse x2 parce que sinon c'est ennuyant) : Le logiciel en lui même est en Go, tandis que le [...]
Lire la suite
Vus : 684
Publié par Angristan : 51

Sauvegarder ses données avec Duplicity

Je vous épargnerai le couplet sur la nécessité de mettre en œuvre des sauvegardes régulières et je vous propose d’entrer directement dans le vif du sujet. Toutes mes données sont stockées sur un NAS [...]
Lire la suite
Vus : 1047
Publié par Yopland : 25

Fixer le nom d’un périphérique USB de manière permanante avec « udev »

Lorsque l’on branche un périphérique USB, udev se charge de créer une entrée dans « /dev ». Toutefois, cette entrée de la forme « /dev/sdx » varie en fonction des [...]
Lire la suite
Vus : 1056
Publié par Yopland : 25

Forcer la compatibilité d’une extension GNOME Shell

La plupart des extensions ne sont malheureusement plus compatibles…À chaque nouvelle version de GNOME, c’est souvent l’hécatombe parmi les extensions. Que ce soit par manque de temps du développeur de l’extension, ou parce qu’il a fini par abandonner son projet, l’utilisateur se retrouve avec un certain nombre d’extensions désactivées. Il faut savoir que pour chaque extension, son développeur doit indiquer avec quelles versions de GNOME elle est compatible. Alors, quand une nouvelle version de GNOME est disponible, s’il n’y a plus personne pour tester l’extension et la considérer comme valide, GNOME la désactivera. Et ce, [...]
Lire la suite
Vus : 666
Publié par Okki : 209
Powered by BilboPlanet