Menu principal

Statut de la page

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 : 133
Publié par Tuxicoman : 336

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 : 212
Publié par antistress : 151

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 : 328
Publié par Nizar Kerkeni : 111

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 : 341
Publié par genma : 213

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 : 842
Publié par Angristan : 50

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 : 650
Publié par Angristan : 50

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 : 1020
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 : 1037
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 : 664
Publié par Okki : 192

Chroot ton shell avec Jailkit

chroot est une commande de base du projet GNU permettant de changer le répertoire racine apparent d'un processus. Il y a deux avantages à cette pratique. Tout d'abord, le processus est isolé dans son environnement et ne peut a priori pas porter atteinte au reste du système d'exploitation. Ensuite, il est possible de choisir les programmes présents dans l'environnement afin d'en restreindre l'usage. Cela [...]
Lire la suite
Vus : 991
Publié par Cyprien Pouzenc : 18
Powered by BilboPlanet