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.