linux

Expérimenter Nebula Mesh - Partie 2 technique linux 2022.08.02 Dans mon précédent billet, j’avais configuré un réseau sécurisé sur 2 machines virtuelles à l’aide de Nebula. Cette fois, je tente de faire communiquer un client et un serveur MySQL à travers le tunnel Nebula. Lire la suite

Expérimenter Nebula Mesh - Partie 1 technique linux 2022.07.16 Simulons un réseau maillé (mesh en anglais) avec Nebula en configurant 2 machines virtuelles à l’aide de Vagrant. Le tout sera fait sur ma distribution Linux (Ubuntu 20. Lire la suite

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

Horloge géante dans le terminal linux shell 2020.10.14 Cette note explique comment afficher une horloge géante sous Linux sans utiliser de programme particulier ni utiliser une application web comme time. Lire la suite

Changer le nom du dossier ownCloud linux 2020.09.12 Pour changer le nom de son dossier de synchronisation ownCloud, on peut utiliser cette astuce sous Linux (probablement aussi sur les autres plateformes). 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

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

usb disk et policykit dbus desktop dwm gnome-settings-daemon linux policykit storage ubuntu usb 2014.06.18 Lorsqu’on tente de monter un disque usb via son file manager (Thunar ou Nautilus), on peut avoir un message d’erreur ’not authorized’. 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

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

Notification sous Linux / DWM linux 2013.09.10 J’ai une configuration minimaliste sur mes ordis : GNU/Linux/Ubuntu pour la couche OS et dwm pour l’interface graphique. Pour avoir un minimum de confort sur le portable, j’aime bien être alerté quand la batterie arrive à 5%. 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

Linux en chiffres et en vidéo linux 2012.04.04 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

Convertir en masse des PDF en JPG avec ImageMagik convert DPI ImageMagik JPEG JPG linux PDF ubuntu 2009.10.13 J’avais un grand nombre de PDF à convertir en JPG pour être intégré en GED. Des PDF qui devaient rester imprimable après coup, donc qui devaient garder un haut niveau de densité (au moins 300 dpi). 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