Menu principal

Statut de la page

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 : 180
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 : 301
Publié par Nizar Kerkeni : 109

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 : 325
Publié par genma : 206

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 : 802
Publié par Angristan : 48

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 : 615
Publié par Angristan : 48

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 : 983
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 : 1010
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 : 660
Publié par Okki : 162

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 : 953
Publié par Cyprien Pouzenc : 18

Contournement de proxy…

Oui, je sais, c’est pas bien de contourner les systèmes de surveillance sécurité mis en place par une DSI pour faire plaisir au patron… Mais, dès fois, c’est très bloquant, donc on doit contourner. La technique est assez basique et marche assez souvent: on ne peut pas vraiment proxyfier le HTTPS, en général, on se contente de le faire passer dans un tunnel, sans aucune analyse. Du coup, c’est assez facile de se monter un proxy SOCKS local via un tunnel SSH, à condition que le serveur SSH distant (hors du réseau où le proxy nous bloque) écoute sur le port tcp/443 (celui utilisé habituellement par les serveurs HTTPS pour ceux qui ne suivent pas). NB: Si le serveur SSH est Dropbear, il faut vérifier qu’il tourne bien avec [...]
Lire la suite
Vus : 827
Publié par Guillaume Vaillant : 20
Powered by BilboPlanet