samedi 20 avril 2013

Archlinux, problèmes aléatoires de chargement de pages internet

En installant archlinux il y a quelques temps, j'avais constaté que j'avais des problèmes de connexion internet de manière aléatoire. Un rafraichissement de la page la faisait apparaître :) mais j'ai galéré à comprendre que cela venait des DNS déclarés.
La machine utilisait le DNS de ma livebox et comme par hasard, celui-ci résout aléatoirement les adresses :/

J'ai alors configuré de la manière suivante en spécifiant les DNS à utiliser et en forçant DHCP à ne pas écraser le fichier /etc/resolv.conf



nameserver etc resolv.conf

Depuis, que du bonheur !

Archlinux, slim en qwerty

En installant archlinux, mon terminal en mode console était bien en mode azerty.

Cependant, dans le login manager SLIM, le texte frappé était en qwerty :/

La ligne suivante insérée insérée dans le .xsession ou .xinitrc n'a d'effet qu'une fois identifié.



Pour que X passe en azerty, j'ai ajouté le fichier suivant :



Dès lors, X se retrouve en azerty :)

Section "InputClass"
Identifier "Keyboard Defaults"
MatchIsKeyboard "yes"
Option "XkbLayout" "fr"
EndSection
setxkbmap fr

vendredi 19 avril 2013

Jetty, démarrer sur un port déterminé

Cela se passe dans le build.xml



port jetty ant webapp connector

jeudi 21 mars 2013

xterm, copier/coller simplement

Par défaut, la sélection avec xterm se fait de la manière suivante

  • Passage: sélectionner le début du texte en maintenant le bouton gauche de la souris enfoncé et déplacer la souris jusqu'à la fin du texte. Relachez
  • Mot: double cliquez sur le mot
  • Ligne: triple cliquez sur la ligne
Pour changer la définition du mot pour prendre plus de choses comme des urls, il faut modifier son fichier ~/.Xresources



Dès lors le double clic améliore le confort d'utilisation :)


vendredi 15 mars 2013

Changement d'heure

Le changement d'heure se passe le dernier week-end de Mars et d'Octobre, quand les samedi et dimanche sont tous les deux en Mars et Octobre...

Ainsi, en 2013, le passage à l'heure d'été se fera le WE du 30/31 Mars et le passage à l'heure d'hiver le WE du 26/27 Octobre.

Pour rappel :
  • le passage à l'heure d'été : +1h (à 2h, il est 3h) (cad qu'on dort une heure de moins)
  • le passage à l'heure d'hiver : -1h (à 3h, il est 2h) (cad qu'on dort une heure de plus)