-
Archives
- octobre 2017
- janvier 2011
- décembre 2010
- octobre 2010
- septembre 2010
- juillet 2010
- février 2010
- décembre 2009
- octobre 2009
- septembre 2009
- avril 2009
- mars 2009
- janvier 2009
- décembre 2008
- novembre 2008
- octobre 2008
- septembre 2008
- août 2008
- juillet 2008
- avril 2008
- mars 2008
- janvier 2008
- décembre 2007
- septembre 2007
- avril 2007
- mars 2007
- février 2007
- janvier 2007
- novembre 2006
- octobre 2006
- septembre 2006
- août 2006
- juillet 2006
- juin 2006
- mai 2006
- avril 2006
- mars 2006
-
Méta
Archives par mot-clef : linux
Linux difference entre deux dates
J’ai besoin de calculer vite fait la différence entre deux date en minutes pour faire une recherche avec grep. Un petit script bash automatise le calcul Inspiré de http://www.unix.com/tips-tutorials/31944-simple-date-time-calulation-bash.html Petit shell datediff.sh Ne pas oublier de le rendre executable #!/bin/bash … Continuer la lecture
Memo: Decouverte flubox
Je teste l’environnement fluxbox pour travailler avec eclipse sur une machine un peu faible. Le lancement des programmes peut se faire via des shortcuts à définir dans un fichier ~/.fluxbox/keys Je change un paramètre dans ~/.fluxbox/init pour avoir le focus … Continuer la lecture
Creation d’une borne de consultation internet
Objet du projet :A) partir d’un ancien PC de la Bibli. Création d’un accés internet. 1er idée : Ubuntu 9.04 + OpenbBox +Epiphany1) Récupération PC Bibliotheque : Pentium III 933 + 64 mo + 20 go hdd Pas de lecteur … Continuer la lecture
Installer une police de caractere sous gnome
Dans mon répertoire home je crée un dossier .fonts Je cherche une « font » sympa sur le site dafont.com Je télécharge le fichier zip J’extraie le fichier ttf dans .fonts Je m’inquiète des droits d’utilisation de la font ainsi installée. J’ouvre … Continuer la lecture