Pour une raison indéterminée, K3B plante de temps en temps lors de la vérification de mes gravures de Bluray. Je suis donc obligé de vérifier « à la main » les fichiers. Rien de bien compliqué sous Linux, deux commandes suffisent.
Lire la suite « Vérifier ses gravures (ou ses sauvegardes)… »Étiquette : Linux
Résolution de nom d’hôte en fonction du réseau
Les boxs internet gèrent souvent mal l’accès aux serveurs configurés par un service de DNS dynamique qui sont sur leurs réseaux. Sur Linux il est simple de résoudre le problème en ajoutant des entrées dans /etc/hosts
. Pour un portable cette solution n’est pas satisfaisante, car dès que l’on quitte le réseau de la box, la résolution devient bloquante. Une solution consiste à modifier le fichier /etc/hosts
en fonction du réseau sur lequel la machine est connectée.
Userdir et PHP
Les versions récentes d’Apache 2 ont introduit des modifications dans les fichiers de configuration qui empêchent l’exécution de script sur les comptes utilisateurs. Quelques petites manips permettent de rétablir cette fonctionnalité.
Reinitialiser l’USB sous Linux
Lors du développement avec Arduino (ou une autre carte d’une même type, en l’occurrence un Arducopter) il est souvent utile de réinitialiser le port USB sous Linux après un plantage. En trois commandes chaînées, c’est fait :
- Décharger le module
usbhid
- Attendre 5 secondes pour que tout se stabilise
- Recharger le module
sudo modprobe -r usbhid && sleep 5 && sudo modprobe usbhid
Configuration de cntlm
La gestion des passerelles authentifiantes sous bash
est souvent problématique. Configurer la passerelle se fait alors par un export http_proxy
dans lequel le mot de passe est en clair. Il est évident que cette solution n’est pas satisfaisante. Dans la suite de ce billet ja vais présenter l’installation de cntlm
qui permet de régler ce problème de manière simple et sécurisée.
Copier un disque dur virtual box
Pour copier une machine virtuelle, une simple copie du disque dur ne suffit pas. Les 2 disques auront le même numéro et le gestionnaire de médias refusera d’associer le second. La commande :
VBoxManage clonevdi src.vdi dest.vdi
permet de copier le disque src.vdi
vers le disque dest.vdi
en lui associant un nouveau numéro.
J’ai trouvé la copie plus longue qu’avec un simple cp
. De toutes façons, la commande :
VBoxManage internalcommands sethduuid dest.vdi
peut être utilisée pour changer le numéro d’une copie déjà faite.
GAFFitter
GAFFitter est une application Linux qui optimise la répartition de répertoires selon plusieurs critères : respect de l’ordre ou non, taille des supports,… Des scripts Python permettant d’automatiser la sauvegarde sont disponibles sur le site web.
Installer Eagle 6 sur une Linux Mint 64 bits
Pour pouvoir ouvrir un circuit imprimé j’avais besoin de Eagle.
Lire la suite « Installer Eagle 6 sur une Linux Mint 64 bits »