Posted on 2015-07-22 in Trucs et astuces • Tagged with Bash/Shell
Récemment sur un projet j'ai dû mettre à jour closure compiler. Afin de faire cette mise à jour, j'ai dû déplacer certaines lignes de code utilisées par closure : le compilateur utilise des goog.require et des goog.provide pour trouver les dépendances entre les fichiers. Dans la version utilisée par …
Posted on 2015-07-22 in Trucs et astuces • Tagged with python, Bash/Shell
Lors du passage à python 3 sur un projet, j'ai décidé de supprimer les lignes qui donnent l'encodage du fichier. En effet, ils étaient tous en UTF-8 et c'est l'encodage par défaut sous python 3.
J'ai écrit ce petit script pour automatiser tout ça :
for file in $(find chsdi/ -name …
Posted on 2015-01-09 in Programmation • Tagged with Bash/Shell, Linux, Pelican
Comme je l'ai déjà dit ici, mon blog est géré par Pelican. Il est également placé sous gestion de version. Pour régénérer automatiquement après chaque modification la version html des pages, il faut utiliser la commande make regenerate. Pour lancer le serveur de test pour voir les pages, on utilise …
Posted on 2015-01-09 in Trucs et astuces • Tagged with Linux, Bash/Shell
Bash est capable d'intercepter les signaux envoyés par certains raccourcis claviers (comme Ctrl-C) et de changer le comportement par défaut de ces raccourcis. Il suffit pour cela d'utiliser la commande trap. Elle prend en premier argument la commande à exécuter puis les signaux sur lesquels elle doit réagir.
Par exemple …
Posted on 2015-01-07 in Trucs et astuces • Tagged with Linux, Bash/Shell, Webdav, curl
Il est tout à fait possible (et c'est même facile) d'utiliser curl pour communiquer avec un service webdav. Attention toute fois, tous les événements sont contenus dans des fichiers séparés qui doivent contenir les lignes BEGIN:VCALENDAR et END:VCALENDAR en plus des lignes décrivant l'évènement en lui même.
Pour …
Posted on 2014-09-07 in Trucs et astuces • Tagged with Bash/Shell, Unix
Liste de commandes pour des actions spécifiques. Pas/peu de détails/explications, prérequis de shell supposés connus. Si une commande est donnée pour bash uniquement, cela signifie qu’elle n’est pas compatible avec le shell POSIX ou d’autres implémentations basiques mais est vraisemblablement disponible dans les autres implémentations …
Posted on 2014-09-07 in Programmation • Tagged with Linux, Unix, Bash/Shell
Le shell (POSIX, ie sans les améliorations de Bash ou zsh) est un langage assez particulier qu’on ne connaît pas forcément. Le but de ce document est de rappeler (ou donner) quelques bases du langage, de rappeler les différences notables avec bash. Je propose dans un autre article quelques …
Posted on 2014-09-06 in Trucs et astuces • Tagged with Zsh, Bash/Shell, Linux
Depuis plusieurs mois maintenant, j'utilise zsh comme interpréteur par défaut. L'un des principaux avantages de zsh par rapport à bash est la possibilité de complétion avancée. Sous bash, lorsqu'on appuie sur <TAB> pour obtenir la complétion d'une commande, bash se contente de lister les possibilités. Sous zsh, les pressions suivantes …
Posted on 2014-06-29 in Auto-hébergement • Tagged with PostgreSQL, backup, Bash/Shell
Je vous propose une solution pour vous aider à sauvegarder votre base de données PostgreSQL. La commande est pg_dump. Elle prend comme argument (au minimum) :
Donc la commande de base pour sauvegarder …
Posted on 2014-03-09 in Trucs et astuces • Tagged with Bash/Shell, python, ipython
Bash est assez pénible quand à la gestion des espaces. Par défaut, la boucle for itère sur ce qui est séparé par un saut de ligne ou un espace. Je n'ai pas encore trouvé de solution satisfaisante en bash pur. Mais python (ou plutôt ipthon peut venir à la rescousse …