Quelques trucs.

J'avais initialement fait ça pour du C/C++, mais il semble que ça soit aussi utilisable pour ocaml maintenant, grâce à l'option -p de ocampopt. A tester...

Il faut tout d'abord compiler et faire l'édition de liens avec l'option -pg, puis :

• générer le fichier de mesure gmon.out en lançant normalement l'application,
• générer le fichier de résultat gprof nom_pg gmon.out > gprof.txt

• utiliser mon shell gprof_html et le filtre gprof.awk qui va avec.

  \newcommand{\labelenumo}{\thesection.}

  \renewcommand\theenumi{\arabic{enumi}}
  \renewcommand\labelenumi{\labelenumo\theenumi.}
  \renewcommand\p@enumi{\labelenumo}

on peut aussi mettre ça dans la définition d'un nouvel environnement si on souhaite garder la possibilité de faire appel à la version par défaut de enumerate.

L'objectif est de pourvoir faire \motcle{toto}, qui écrit toto, met toto dans l'indexe et définit la commande \toto

• une première solution :

  \makeatletter \newcommand{\motcle}[1] {\index{#1}{\textbf #1}\@namedef{#1}{\textit #1}} \makeatother

  mais c'est du TeX, et donc pas très robuste. On pourra par exemple définir plusieurs fois le même mot clé, et \motcle{def} fait planter la compilation... En fait, la définition de \@namedef est :

  \expandafter \def \csname #1\endcsname

• une autre solution :

  \newcommand{\motcle}[1]{% \index{#1} \textbf{#1}% \expandafter \newcommand \expandafter *\csname #1\endcsname {\textit{#1}}% }

  mais attention, elle définit la commande localement.
• une amélioration est donc :

  \newcommand*{\motcle}[1]{% \index{#1} \textbf{#1}% \expandafter \@ifdefinable \csname #1\endcsname {% \global \@namedef{#1}{\textit{#1}}% }% }

• convert -transparent white toto.jpg toto.png
  
• puis, si le résultat n'est pas assez propre, utiliser gimp en faisant une sélection par couleur + couper la sélection (^X)
• pour ne pas avoir une image trop grosse, choisir image/mode/indexée

• mettre les informations de connection dans le fichier $HOME/.netrc, c'est-à-dire y ajouter une ligne :

  machine home.tele2.fr login fr-00000 password mon-joli-pwd

• on peut ensuite écrire un script :

  #! /bin/sh ftp <<** open home.tele2.fr cd html put index.html prompt mput *.png bye **

• l'utilisation de prompt permet d'utiliser mput sans avoir à confirmer le transfert pour chaque fichier.
• Du coup, on peut écrire un makefile pour transférer automatiquement tout ce qui a changé depuis le dernier transfert (la date est mémorisée dans la date de dernière modification du fichier transfert.ok) :

• TOUS_FICHIERS=$(shell ls *.html *.css *.js *.png *.jpg *.gif) all : $(HOME)/.netrc transfert.ok echo "Et voilà..." toujours: $(HOME)/.netrc : (echo "machine $(ADRESSE) login $(LOGIN) password $(PSWD)") > $@ chmod 600 $@ cmd_ftp : $(TOUS_FICHIERS) echo "Mise à jour de $@ : $?" (echo "#! /bin/sh"; \ echo "ftp <<**"; \ echo "open $(ADRESSE)"; \ echo "cd html"; \ echo "prompt"; \ echo "mput $?"; \ echo "bye"; \ echo "**") \ > $@ chmod u+x $@ transfert.ok : cmd_ftp echo "Transfert..." ./cmd_ftp > /dev/null touch $@ clean : rm -f transfert.ok cmd_ftp

• quitter thunderbird,
• effacer les fichiers ~/.thunderbird/*.default/Mail/*/*.msf
• relancer l'outil,

#!/bin/sh
if `mozilla -remote "ping()" 2> /dev/null` ; then
  mozilla -remote "xfeDoCommand (openBrowser)" &
else
  mozilla &
fi

Note : ceci semble être maintenant le comportement par défaut. Plus besoin de script, donc.

• Problème : avec la police de sécurité par défaut, on ne peut pas lire un fichier local (ie. avec une URL commençant par file://) depuis une page chargée avec le protocole http ou https.
• Solution : mettre dans le fichier user.js de son profil les lignes :

  user_pref("capability.policy.policynames", "TrustInCheckloadURI"); user_pref("capability.policy.TrustInCheckloadURI.sites", "http://site.ami.truc"); user_pref("capability.policy.TrustInCheckloadURI.checkloaduri.enabled", "allAccess");

  en précisant le site de confiance depuis lequel on veut que ça marche (typiquement, pour moi, depuis mes propres pages...).
• pour de plus ample explications, voir ici

• la première lettre : echo salut | sed 's/^./\u&/'
  donne : Salut
• certaines lettres : echo "salut les lulus" | sed 's/[sl]/\u&/g'
  donne : SaLut LeS LuLuS
• toute une expression : echo "salut les lulus" | sed 's/a[^ ]*/\U&/'
  donne : sALUT les lulus