Boîte à outils
Vous trouverez ici, en plus des sources de ce site, de petits programmes que j'ai écrit et utilise pour mes besoins quotidiens sous GNU/Linux.
Ces outils sont fournis tels quels sans aucune garantie en espérant qu'ils puissent être utiles.
Sauf mention contraire, le contenu de cette boîte à outils est fourni selon les termes de la GNU General Public License.
- Programmes Web
- Applications graphiques
- Programmes C/C++
- Ajouts pour d'autres logiciels
- Shell scripts
Programmes Web | (Haut de page) |
- Les sources du site
- Il s'agit des codes sources de ce site qui peuvent être parcourus.
Applications graphiques | (Haut de page) |
- GCfilms
- Une application Gtk2 permettant de gérer un catalogue de films.
Programmes C/C++ | (Haut de page) |
Ajouts pour d'autres logiciels | (Haut de page) |
- La CPC MozBar
- Une barre d'outils s'ajoutant à Mozilla ou aux navigateurs dérivés comme Netscape et proposant des fonctions liées à ChoixPC.
- Karmix
- Un thème pour SuperKaramba permettant de régler différents volumes.
- KarDevices
- Un thème pour SuperKaramba permettant de regrouper plusieurs icônes d'accès aux périphériques.
Shell scripts | (Haut de page) |
- auto_unmount
- D'après une idée de MeV sur fedora-france.org
 Permet de démonter automatiquement les partitions
 montées par l'utilisateur courant.
 A appeler dans un des scripts suivants pour
 que ce soit fait à la fin de la session utilisateur :
 
 * Mode texte : ~/.bash_logout
 * XFCE4 : ~/.xfce4/xinitrc
 * Gnome (avec GDM) : /etc/X11/gdm/PostSession/Default
 
- clean_softs
- Permet à partir d'un répertoire
 d'aller faire un nettoyage (make clean)
 dans tous ses sous-répertoires contenant
 un Makefile
 
- debit
- Permet d'afficher le débit réseau courant.
 Utilisé par mk_prompt pour l'afficher dans l'invite de commande.
 
- extr_rpm
- Extrait le contenu d'un RPM dans un répertoire.
 Le nom du répertoire sera celui du rpm augmenté de .dir
 
- find_in_rpm
- Permet de chercher un ficher dans des RPMs
 Le 1er paramètre est le motif à chercher
 Le 2nd est le répertoire où se trouvent les RPMs
 Sans celui-ci cherche dans un répertoire par défaut.
 
- gfind
- Permet de chercher un motif
 dans les fichier du répertoire courant.
 
- migrate
- Permet de faire des substitutions dans un répertoire.
 Les fichiers CVS et les sauvegardes ne sont pas affectés.
 
- mk_prompt
- Permet de générer une invite avec l'heure et le débit.
 Voir le script debit.
 Le fichier ~/.bashrc doit contenir la ligne:
 PROMPT_COMMAND=". mk_prompt"
 
- png2ico
- Transforme une image png en ico.
 Utile notamment pour créer favicon.ico
 lors du développement d'un site.
 
- site_deliver
- Script utilisé pour livrer mon site.
 Il faudra changer les valeurs pour pouvoir l'utiliser.
 Pour les noms d'utilisateur FTP, ils peuvent être
 de la forme utilisateur ou utilisateur:motdepasse
 La 2ème est fortement déconseillée car le mot
 de passe est enregistré en clair dans le script.
 L'option noarch permet de ne pas uploader l'archive.
 
- stat_apache
- Pour analyser les logs Apache.
 Fonctionne avec les conventions de nommage de mon hébergeur
 mais devrait pouvoir être adapté facilement.
 Le lancer avec --help pour les options.
 Certaines variables valant ***** doivent être ajustées avant.
 
- temperatures
- Affiche les températures du PC.
 Ce sont celles retournées par sensors.
 
- tian_firewall
- Un simple script permettant de spécifier des règles de filtrage
 Il doit bien sûr être adapté aux besoins spécifiques.
 En le lançant avec le paramètre stop, les règles sont supprimées.
 Sans paramètre les règles sont crées.
 
- time_count
- Script Tcl/Tk affichant un compteur.
 Affiche le temps passé depuis son lancement mais aussi
 un cumul (avec possibilité de le remettre à 0).
 Je m'en servais pour compter mon temps de
 connexion Internet par mois.
 
- trash_control
- Permet de gérer une corbeille dans un shell.
 Les fichiers ou répertoires sont compressés.
 La version actuelle fonctionnera incorrectement
 si des fichiers ou répertoires du même nom sont supprimés.
 
- verifyPicture
- Permet de vérifier qu'une image distante
 est de type JPEG ou GIF non animé.
 Montre entre autres l'usage de wget
 et des gestionnaires de signaux
 
- whoisconnected
- Affiche les connexions actives.
 Plus pour montrer l'utilisation de /proc/net/tcp
 étant donné que netstat permet facilement d'obtenir
 ces informations.
 
