Currently browsing tag

Linux

Dukto

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

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 …

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 …

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 …

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 …

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 …