howto

Udev Webcam linux howto 2022.04.01 Vous pouvez forcer l’emplacement de la webcam d’un point de vue “device linux” : même si on change le port USB, on pourrait toujours avoir notre webcam sur /dev/video99 (par exemple). Lire la suite

Police de caractère dans la console linux console howto 2022.03.29 Avec des écrans 4K, la console linux devient illisible : la police de caractère est trop petite. Alors comment faire pour agrandir sa taille pour avoir une console lisible après démarrage ? Lire la suite

Appliquer les modifications depuis le dépôt git parent howto 2020.11.08 Cette note explique comment appliquer les nouvelles modifications depuis le dépôt git parent sur votre dépôt hérité (fork). Si ce n’est pas déjà fait, ajoutez un “remote” vers le dépôt parent comme suit : Lire la suite

Git local howto 2019.12.02 On n’est pas obligé d’utiliser Git avec un dépôt sur un serveur : on peut tout à fait avoir les avantages de Git (la gestion des versions) en utilisation locale, sans serveur distant. Lire la suite

Astuce Mysql : prompt personnalisé howto mysql prompt 2019.11.25 On peut facilement modifier le prompt du client mysql, et ainsi repérer dans quelle instance MySQL on se trouve. C’est très utile lorsqu’on doit jongler entre plusieurs bases, et qu’on finit par ne plus savoir dans laquelle on se trouve :-) Lire la suite

Installer un iso sur une clé USB dans une console #Linux console distribution howto iso linux usb 2018.11.08 Une fois récupérée la distribution Linux de vos rêves, au format ISO, comment l’installer sur une clé USB ? Bien sûr, on peut toujours utiliser des installateurs graphiques comme UNetbootin mais c’est plus drôle de le faire en une seule ligne de commande : Lire la suite

Forcer le nom de l'interface #wifi sous #Ubuntu 18.04 console howto linux reseau shell ubuntu udev wifi 2018.09.07 Avec Udev, il est possible de modifier le nom de l’interface wifi. Tout d’abord, on doit récupérer l’adresse mac de la carte wifi. Lire la suite

Minimal Docker + Go et le téléversement Multipart howto ubuntu go 2018.01.26 Pour réduire la taille d’un container Docker, on peut créer l’image en partant de rien, ou plus précisément, en partant de “scratch”, qui ne contient rien. Lire la suite

Démarrer Linux sur la console texte console démarrage howto linux texte 2016.08.29 Pour se débarraser du démarrage graphique sur Linux, on peut modifier sa configuration grub : # modifier la configuration grub sudo vi /etc/default/grub # supprimer les options splash, quiet, . Lire la suite

Partager un Google Calendar en dehors du domaine apps calendar google google apps howto productivité 2014.03.31 Google Calendar permet de partager un calendrier avec d’autres utilisateurs du domaine Apps. Mais dès qu’on veut donner la possibilité à une personne extérieure au domaine, de modifier l’agenda, on se heurte à un problème de taille : la liste de choix ne permet que d’afficher les disponibilités. Lire la suite

Une ligne horizontale ajustée avant chaque PROMPT howto linux 2014.02.21 Ce serait chouette d’arriver à afficher une ligne horizontale dans le terminal, avant chaque commande : ça permettrait de séparer visuellement les résultats d’exécution. Lire la suite

Copier sa clé publique sur un serveur distant howto linux sécurité 2014.02.12 Pour faciliter l’administration de machines distantes sous Linux, c’est mieux de ne pas gérer de mot de passe et d’utiliser des clés de sécurité. Lire la suite

Se débarrasser des pubs dans Gmail sous Chrome ? gmail google chrome howto productivité publicité 2014.01.10 Lorsque je consulte Gmail, j’ai toujours la partie droite de mon navigateur qui est occupée par de la publicité non sollicitée. Lire la suite

Installer une jvm sous Ubuntu avec update-alternatives howto Java linux 2014.01.07 Après avoir récupéré le tar.gz du jdk depuis chez Oracle et décompressé dans le dossier /usr/lib/jvm, il faut utiliser la commande suivante pour l’installer comme alternatives : Lire la suite

Surveiller mysql pour pas cher howto linux ubuntu 2013.12.10 Voici une petite astuce pour surveiller ses serveurs mysql sans déployer d’outil particulier : mysqladmin -u root -p -i 5 processlist L’option -i ou - sleep en version longue permet de spécifier une durée en seconde pour répeter la commande. Lire la suite

Rdesktop et transfert de fichier howto Java linux 2013.08.01 rdesktop -r disk:toto=/home/user/path your.server.com -r sound:local Un client nous a demandé de migrer son application qui tournait sur une Debian vers une plateforme Windows en VM pour mutualiser ses coûts d’administration. Lire la suite

Transformer Ubuntu Gnome en machine publique gnome howto linux ubuntu 2010.10.31 Un ami m’a demandé le nécessaire pour rendre son Ubuntu Gnome complétement public, c’est-à-dire qu’aucun mot de passe ne soit demandé. Lire la suite

Les 10 principes de design d'interface Ergonomie howto productivité 2010.05.12 Tirés des travaux de Jakob Nielsen, voici 10 principes à garder à l’esprit afin de concevoir une interface ergonomique : Lire la suite

The fun theory éducation développement durable Fun howto 2010.02.05 Comment changer les gens pour qu’ils adoptent de bonnes pratiques ? Par la morale ? Par la contrainte ? Non, par l’amusement ! Lire la suite

Skype et Logitech Quick Messenger sous Ubuntu 9.04 howto linux logitech quickam messenger quickcam ubuntu webcam 2009.08.27 En essayant de réhabiliter un vieux PC avec la dernière Ubuntu (Jaunty 9.04), je me suis confronté à un souci de configuration de ma webcam avec Skype : les gens avec qui je travaille sont sur Skype et ne sont pas informaticiens (juste pour éviter les “mais skype c’est mal, faut utiliser xxx” - mettre votre logiciel libre préféré à la place des xxx) Lire la suite

Comment créer un bouton Paypal de don ? howto paypal 2008.11.13 Voici une présentation rapide pour créer un bouton Paypal de don sous forme de code HTML à inclure dans ses propres pages (faites NEXT à chaque fois pour passer à l’étape suivante) : Lire la suite

Comment réparer WordPress après modification de l'URL ? howto 2008.01.11 Après avoir modifier l’url dans la page d’option WordPress, le site n’était plus accessible… Cela arrive lorsqu’on fait la modif avant de mettre en place le . Lire la suite

La barre d'adresse Firefox comme champ de recherche howto 2008.01.07 Quand on tapes un ou plusieurs mots dans la barre d’adresse, et que Firefox n’identifie pas une url bien formée, il va tenter une recherche sur le service Google “I’m Feeling Lucky” : en gros, il essaye de faire coincider les mots tapés avec un nom de domaine existant. Lire la suite

Comment intégrer Firefox et Thunderbird ? howto 2007.12.18 Après avoir fait le ménage sur mon Ubuntu, et plus particulièrement après avoir désinstallé tout un tas de packages gnome, j’ai perdu la liaison entre Firefox et Thunderbird : un clic sur un lien depuis Thunderbird n’ouvrait plus Firefox, et vice-et-versa, impossible d’avoir un mailto: qui ouvre Thunderbird. Lire la suite

Backuper une arborescence de fichiers et dossiers par FTP howto 2007.12.17 Quand on a besoin de faire un backup d’une arborescence de fichiers et qu’on a que FTP comme service, il est possible d’utiliser la commande suivante : Lire la suite