Ressources - Système (Linux)

Friday 04. of May 2007 - Probleme d'encodage

Vaste problème !!

Il semblerait que le plus cohérent soit de TOUT passer en utf-8.

Directive dans les header HTML :

pour convertir un fichier quelconque  (iconv est inclus de base dans les distribs:)

iconv -f...

Saturday 14. of April 2007 - Taille des polices dans certaines applications (xmms, audacity)

Avec des window manager comme icewm par ex ... Il faut installer des polices supplémentaire

apt-get install xfonts-100dpi-transcoded xfonts-75dpi-transcoded  xfonts-base-transcoded

Et hop

Saturday 14. of April 2007 - Doc Linux pour les débutants... et leurs mentors

A tous les linuxiens en herbe... ou à leurs amis qui les incitent à la Grande Migration, j'ai trouvé une doc fort bien faite qui explique le pourquoi des logiciels libres et l'utilisation d'Ubuntu, une des distributions les plus...

Saturday 14. of April 2007 - script analyse de log et envoi de mail...

Ce script analyse les 500 dernières lignes d'un fichier de log, s'il y trouve une certaine chaine de caractères, il lance un autre script et envoie un mail.

#!/bin/bashnbliglogtail='500'psilog='/tmp/psi.log'plco_err='composant...

Saturday 14. of April 2007 - Mise à l'heure sous linux

date MMjjhhmm

Attention, pas espaces ! Donc :

MM: mois sur 2 chiffresjj: jours du mois sur 2 chiffreshh: heures sur 2 chiffres mm: minutes

Le plus simple reste ntpdate quand même :

apt-get install ntpdatentpdate ntp.nerim.net