Catégories
Informatique

Vérifier ses gravures (ou ses sauvegardes)...

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.

Catégories
Informatique

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.

Catégories
Informatique

Dukto

Dukto est un outil pour échanger des fichiers sur le réseau local sans aucune configuration entre différents systèmes (Linux, OSX,...)

 

 

Catégories
Non classé

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é.

Catégories
Electronique Informatique

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 :

  1. Décharger le module usbhid
  2. Attendre 5 secondes pour que tout se stabilise
  3. Recharger le module

sudo modprobe -r usbhid && sleep 5 && sudo modprobe usbhid

Catégories
Informatique

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.

Catégories
Informatique

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 :

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 :

peut être utilisée pour changer le numéro d'une copie déjà faite.

Catégories
Informatique

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.

Catégories
Electronique Informatique

Installer Eagle 6 sur une Linux Mint 64 bits

Pour pouvoir ouvrir un circuit imprimé j'avais besoin de Eagle.