Utiliser jml

Un petit script pour utiliser JML sur une machine à  base de JDK1.5 Créez un fichier prepareJML.sh et redéfinissez les *_HOME : #!/bin/bash echo « activation des chemins pour JML » export JAVA_HOME=~/j2sdk1.4.2_12 export JML_HOME=~/JML export JUNIT_HOME=~/junit4.1 export CLASSPATH=.:$JAVA_HOME/lib:$JAVA_HOME/jre/lib:$JML_HOME/bin/jmljunitruntime.jar:$JML_HOME/bin/jmlmodels.jar:$JML_HOME/bin/jmlmodelsnonrac.jar:$JML_HOME/bin/jml-release.jar:$JML_HOME/bin/jmlruntime.jar:$JUNIT_HOME/junit-4.1.jar export PATH=$JAVA_HOME/bin:$JML_HOME/bin:$PATH ensuite il suffit de lancer: $ source prepareJML.sh et voila les chemins sont valides. ps : on definit […]

Souris 5 boutons sur Dapper

Cette config est prévue pour une intellimouse. Nommée souris 5 boutons, il faut plutôt penser à  une souris 7 boutons car le système considère la rotation avant et arrière de la molette comme des boutons distincts. – Paramétrer la souris au niveau matériel sous X: éditez le fichier xorg.conf et vérifiez que la section souris […]

Pas de son sur la Dapper

La nouvelle version d’Ubuntu ET Kubuntu, la Dapper, n’aime la carte Asus A7V8X-X. Bizarrement sur le live CD, pas de problème, le son fonctionne, mais une fois l’installation effectuée plus de son. J’ai comparé les listings de lspci et lsmod sur le liveCD et sur le DD, ils sont identiques… $ lspci 0000:00:11.5 Multimedia audio […]