Author's posts
Jul 15
Utilisation de update rcd sous debian ou comment lancer des scripts au demarrage du systeme
update-rc.d est une commande bien pratique puisquelle vous permet dexécuter des scripts quand le runlevel du système change (au démarrage ou à la fermeture du système par exemple). Cest notamment grâce à ça que tous vos services se lancent au démarrage et sarrêtent à lextinction du système sans que vous nayez (presque) rien à faire …
Jun 11
Réaliser des gifs animées avec gimp
Un gif animé est composé de n images qui “tournent” en boucle, comme un film et qui, si elles sont bien construites et montées, donnent l’illusion d’un mouvement ou d’une animation.
Jun 04
How to download an internet file with MacOSX Terminal
Well, it’s very simple indeed ^_^ Macosx do not contains wget by default so we are using curl. $ curl -C – -O http://mygreatfile
May 28
Transformer un texte de miniscule à majuscule sous GNU/Linux
Comment faire pour modifier une chaine de caractères dans un fichier en ligne de commande sous GNU/Linux de la manière suivante: Les minuscule se transforment en majuscule et les majuscules ne sont pas modifiées. # cat monfichier | sed ‘s/.*/U&/’ > nouveaufichier ou # cat monfichier| tr ‘[:lower:]’ ‘[:upper:]’ > nouveaufichier
May 27
Ethernet et adressage fixe sous GNU/Linux
Pour mettre en place un réseau Ethernet sous GNU/Linux en ligne de commande, il suffit de 3 commandes : Données : * IP à régler sur notre machine : 192.168.1.50 * masque de sous-réseau : 255.255.255.0 * passerelle (gateway) : 192.168.1.1 * serveur de noms (DNS) : 192.168.1.1 La machine en 192.168.1.1 sert bien de …