Astuces

Quelques astuces, anti-sèches et hacks en tout genre.

Le 4 Mars 2016

J'ai régulièrement besoin de créer des liens symboliques, mais à chaque fois j'ai le même problème : Argh !! C'est quoi l'ordre des paramètres déjà ?

Et bien c'est comme ça : ln -s le/fichier le/lien/a/creer

lire la suite
Le 4 Mars 2016

Le plus simple, c'est d'apprendre à utiliser git rebase et de configurer git pour faire ses git pull en utilisant plutot un rebase qu'un merge.

Voila comment configurer git : git config --global pull.rebase true

Pas convaincu ?

lire la suite
Le 3 Novembre 2015

Fusionner stdin avec stdout :

  • commande 2>&1 : redirige stderr dans stdout
  • commande 1>&2 : redirige stdout dans stderr

Rediriger dans un autre programe :

  • commande | autre_commande : redirige uniquement stdout
  • commande 2>&1 > /dev/null | autre_commande : redirige uniquement stderr
  • commande 2>&1 | autre_commande : redirige les deux sorties

lire la suite
Le 20 Juin 2015

Boucler sur une liste de fichier sans se soucier des espaces avec bash :

1
2
3
4
while read file
do
    echo "fichier .txt : [$file]"
done < <(find . | grep .txt)

Ici, find . | grep .txt me donne la liste de fichier qui m'interesse.

lire la suite
Le 30 Mars 2015

La commande suivante transfert vos fichiers avec une forte compression / décompression à la volée :

1
tar -jc /le_repertoire_a_uploader | ssh zizou@mon-serveur.fr -T -e none "tar -jx -C ./tmp"

lire la suite
Le 27 Mars 2015

Ma cheatsheet pour continuer à bien s'entendre avec tar :

  • -c => compresser
  • -x => décompresser
  • -v => verbose (classique)
  • -f => utilise le fichier suivant. Par défaut, tar travail avec stdin et stdout.
  • -j => Algorithme de compression Bzip2 : te prends pas la tête, il est cool celui la ;)

lire la suite
Le 20 Mars 2015

Ça permet notament de gagner beaucoup de temps quand on veut mettre une foultitude de fichiers sur une carte SD ou une clef USB.

1
2
3
4
# Compresser
zip -0 -r ma/clef/usb/archive.zip les_fichiers_a_compresser/
# Décompresser
tar -xvf ma/clef/usb/archive.zip -C ./les_fichiers_decompressees/

L'astuce est d'utiliser le niveau de compression le plus faible de gzip et de profiter de la compression / décompression pour transferer les fichiers entre les disques.

lire la suite
Le 20 Mars 2015

Oui, en 2015 on est toujours emmerdé par les disques formaté avec ce putain de système de fichier préhistorique : le FAT32.

1
2
3
4
# On coupe en morceaux de 4 Go :
split -b 4000m un-gros-fichier.zip mon_disque_fat32/un-morceau.zip.part-
# On recolle :
cat mon_disque_fat32/un-morceau.zip.part-* > un-gros-fichier.zip   # be careful with the wildcard

Attention, en utilisant le wildcard on a parfois des surprises, les fichiers ne sont pas toujours donnés dans le même ordre d'un système à l'autre.

lire la suite
Le 15 Mars 2015

Différentes alternatives pour démarer un serveur web depuis le repertoire courant :

Pour les ruby lovers :

1
ruby -run -e httpd . -p 7777

Pour avoir le rendu des pages php :

1
php -Slocalhost:7777

lire la suite