Apprendre vim en jouant avec vimgolf

logo vimVim est un éditeur de texte un peu déroutant à aborder, mais une fois qu'on le connaît bien, il n'existe pas de logiciel plus efficace pour éditer. (Ok, pour éviter les trolls je concède qu'emacs est à peu près au même niveau).

Le site vimgolf propose depuis quelques jours des défis, modifier un texte en utilisant le moins de touches possibles. Le texte de départ et celui d'arrivée sont donnés, il faut trouver le plus court chemin entre les 2. C'est très instructif et plutôt rigolo.

Je suis actuellement en tête du classement sur 2 défis, ça fait plaisir.

Publié le 31 décembre 2010 à 19:40 Aucun commentaire

Point mort...

Puisqu'un dessin vaut mieux qu'un long discours, voici une image qui reflète bien l'état actuel de ce blog :

No life blog comic

D'autre part, voici pourquoi j'évite autant que possible de rentrer dans une librairie…

Book fever comic

[Source]

Publié le 07 juin 2010 à 22:09 Aucun commentaire

Nettoyage de printemps

PrintempsCela faisait un bon moment que je n'avais rien posté ici, il était temps de faire un peu de ménage.

Donc j'ai fait plein de petits trucs plus ou moins utiles ou visibles. En vrac, voici la liste des modifications :

  • Un système anti-spam sans captcha. C'était indispensable, j'avais un nouveau commentaire toutes les cinq minutes, et je commençais à recevoir des spams par mail via le formulaire de contact. Et puis j'ai horreur des captcha, ça ne sert qu'à embêter les honnêtes gens, et on peut très bien s'en passer.
  • Une page d'erreur 404 personnalisée, c'est beaucoup mieux comme ça.
  • Au niveau de la bibliothèque, les liens des cycles sont désormais cliquables, c'est plus cohérent avec le reste. J'ai aussi ajouté un flux RSS pour mes livres, pour ceux que ça intéresse. Promis, j'ajoute des commentaires dès que je trouve le temps. De toute façon, vu la vitesse à laquelle je fais des modifs, ça risque de pas être avant l'année prochaine…
  • Quoridor utilise maintenant jQuery 1.4. Concrètement, cela signifie des performances améliorées. J'ai aussi ajouté un lien «se déconnecter» pour les parties multijoueurs, ça manquait.

[Photo]

Publié le 12 avril 2010 à 23:47 Aucun commentaire

Connexion automatique aux réseaux wifi ouverts

Si vous avez l'habitude de vous connecter à des réseaux wifi ouverts tels que FreeWifi ou Neuf Wifi, vous passez certainement par l'étape obligée qui consiste à renseigner ses identifiants sur la page de login du site.

Et bien, c'est fini : grâce à un petit script de Puyb, tout ça est automatisé, vous serez connecté à Internet sans rien faire. Évidemment, c'est réservé à Linux, vu que le script utilise NetworkManager. L'installation et la configuration sont expliquées en détail sur le site de Puyb.

Connexion automatique à FreeWifi

Et un truc de plus pour se simplifier la vie !

Publié le 16 décembre 2009 à 21:05 Aucun commentaire

Optimiser Ubuntu 9.10 Karmic Koala

Karmic Koala

La version 9.10 de la plus populaire des distributions linux est sortie il y a quelques jours. Elle apporte entre autres un gain en rapidité, notamment au démarrage.

Quand on est geek comme moi, on cherche à tirer le meilleur parti de sa machine. Voici une compilation de ce qu'il est possible de faire pour améliorer les performances.

Migrer les partitions ext3 en ext4

Si vous faites une nouvelle installation, en formatant, le système propose par défaut des partitions en ext4. Mais si vous avez fait une mise à jour, vos partitions sont toujours en ext3. Je suppose ici que vous avez une partition /home séparée, avec la partition / en ext4. Si ce n'est pas le cas, suivez le tutoriel de tellmewhy. Pour la partition / il suffit de la formater en ext4 lors d'une installation "propre". Le passage en ext4 apporte une amélioration des performances notables, cependant il s'agit d'une opération "à risque".

Sauvegarder la partition /home

Il est donc indispensable de commencer par une sauvegarde. Commencez par vérifier la place occupée par votre partition en lançant la commande df -hT. Cela vous donnera aussi le nom de votre partition. J'utiliserais "sda3" par la suite, veillez à le remplacer si vous avez un autre nom.

Lorsqu'on est sous environnement graphique, le /home est utilisé, de ce fait on ne peut pas faire une sauvegarde correcte. Il faut donc démarrer en mode recovery.

Une fois en mode recovery, lancez les commandes suivantes

  • fdisk -l pour avoir le nom de la partition (/dev/sdb1 dans mon cas, à remplacer par ce que vous avez)
  • mkdir /mnt/disk créer le point de montage
  • mount /dev/sdb1 /mnt/disk monter la partition de sauvegarde
  • rsync -av /home/* /mnt/disk/sauv/ sauvegarder les données (étape qui prend du temps, prenez un bouquin pour patienter)
  • reboot redémarre. Vérifiez que vos données sont bien présentes sur le disque externe.

Formater la partition /home

Démarrez en mode recovery.

  • umount /home démonte la partition
  • mkfs.ext4 -m1 /dev/sda3 formate en ext4
  • blkid /dev/sda3 récupère le nouvel identifiant UUID de la partition
  • nano /etc/fstab éditer ce fichier pour modifier la ligne de type UUID=a9504f40-83cd-4260-bbf4-646aa304e699 /home ext3 defaults 0 2 en mettant l'UUID que vous avez récupéré avec la commande précédente, et ext4 à la place de ext3
  • mount /home remounte la partition. Normalement tout s'est bien passé et vous n'avez pas d'erreur.
  • rsync -av /mnt/disk/sauv/ /home/ recopie les données depuis le disque externe (reprenez votre bouquin)
  • reboot redémarre

Passer en ext4 sans reformater

Si vous n'avez pas de disque externe pour faire la sauvegarde, il est toujours possible de basculer votre partition mais seuls les nouveaux fichiers vont bénéficier des avantages de ce nouveau système de fichiers. Votre partition va progressivement devenir de plus en plus rapide au fur et à mesure que les fichiers seront remplacés.

Ces manipulations sont à lancer depuis le mode recovery.

  • umount /home démonte la partition
  • tune2fs -O extents,uninit_bg,dir_index /dev/sda3
  • e2fsck -pf /dev/sda3 (prenez un bouquin, c'est long)
  • nano /etc/fstab remplacer ext3 par ext4 sur la ligne qui décrit le montage de /home
  • mount /home remounte la partition
  • reboot redémarre

source

Utiliser un tmpfs pour le cache de Firefox

Il s'agit de stocker les données temporaire dans la RAM, qui est bien plus rapide que le disque dur. Dans le fichier /etc/fstab, ajoutez cette ligne pour monter /tmp comme tmpfs (temporary file system) : tmpfs /tmp tmpfs defaults,noatime,mode=1777 0 0

Redémarrez pour que les changements prennent effet. Pour vérification, tapez df, vous devriez voir une nouvelle ligne commençant par tmpfs.

Pour les fichiers temporaires de Firefox, dans about:config créez une nouvelle chaîne de caractères browser.cache.disk.parent_directory. Donnez lui comme valeur /tmp.

source

Nettoyer les bases de données de Firefox

Comme toutes les bases de données, celles qui sont utilisées par Firefox s'alourdissent au fil du temps, entraînant un démarrage et une utilisation ralentis. Voici comment les nettoyer.

  • installer sqlite3 : sudo aptitude install sqlite3
  • Arrêter firefox
  • Lancer la commande suivante: for f in ~/.mozilla/firefox/*.*/*.sqlite; do sqlite3 $f 'VACUUM;'; done

À refaire à chaque fois que vous sentez que Firefox rame.

source

Divers

Désactiver les applications inutiles au démarrage

Dans Système -> Préférences -> Applications au démarrage, décochez tout ce que vous n'utilisez pas, par exemple l'aide visuelle, le bureau à distance, le bluetooth, … Si vous avez un doute pour une application, laissez la case cochée.

Désactiver les effets graphiques

Si vous n'avez que faire des effets de style apportés par compiz, dans Système -> Préférences -> Apparence, onglet Effets Visuels, choisissez Aucun.

Activer l'autologin

Si vous êtes seul à utiliser votre machine et que vous n'êtes pas paranoïaque, activer la connexion automatique : Dans Système -> Administration -> Fenêtre de connexion, déverrouillez la fenêtre puis choisissez "Se connecter automatiquement en tant que …".

Pour aller plus loin

Si vous avez envie de passer plus de temps pour obtenir un système configuré aux petits oignons à votre usage personnel, je vous invite à essayer un autre gestionnaire de fenêtres (j'ai testé Openbox, c'est pas mal), un autre environnement de bureau, voire une autre distribution.

Publié le 09 novembre 2009 à 20:33 Aucun commentaire
« Billets précédents Billets suivants »