Articles avec l'étiquette
Posts with tag
'Scripts'
Profil BASH
20/08/2023 4 mins
À l’occasion de mon passage sur debian 12, un problème avec zshque j’utilisais depuis 25 ans m’a forcé à passer sur bash, et donc à me définir un profil bash adapté à mes besoins.
Installation debian 12
13/08/2023 13 mins
Debian 12 “bookworm” est sortie en juin de cette année. L’occasion de rafraîchir mon installation debian qui datait de plus de 10 ans ! À propos de décennies debian fête ses 30 ans, bon anniversaire debian !
Scripts pour Google Docs
08/12/2018 2 mins
Après la migration de mon site web sur WordPress, je poursuis la modernisation des services que j’utilise, et notamment mes pages dokuwiki privées vers Google Docs. Pour cela il existe un plugin odt bien pratique qui permet d’extraire les pages wiki sous format OpenOffice, afin de les importer très facilement...
Collection de scripts (2001-2006)
14/01/2001 5 mins
rc.virus.* : Scripts procmail pour filtrer quelques virus.Gallery2JPEG : Convertir les libellés Gallery en commentaires JPEG.Extr-attach : Détacher les pièces jointes dans vos fichiers de mails.Weblog : Analyse de logs InternetAjouts à Phoebox : fichiers de configuration pour le client IRC EPICAddTopics : Ajouter les topics aux stats IRCStatsLocalize :...
Scripts collection (2001-2006)
14/01/2001 4 mins
rc.virus.* : Procmail filters against frequent viruses.Gallery2JPEG : Convert Gallery comments in JPEG comments.Extr-attach : Extract attached files of mailboxes.Weblog : Analyse website log files.Phoebox AddOn : Configuration files for EPICAddTopics : Add topics to IRCStatsLocalize : Transform a site in relatives URL.Site : Site maintenance utility.Scripts Shell : Other...