firefox, sauvegarder/restaurer les signets

par exemple lors du changement de PC professionnel :

• exporter
  
• restaurer
  

virtualbox, augmenter la taille d'un disque

Voici la procédure pour augmenter la taille d'un disque :

http://blog.francis-fustier.fr/en/virtualbox-augmenter-la-taille-du-disque-virtuel/



J'ai adapté la partie #2 de la procédure comme suit :

• Sous windows 7, il faut rechercher l'utilitaire "créer et formater des partitions de disque dur" et l'ouvrir
• Ensuite, il faut sélectionner le disque que l'on veut étendre et sélectionner "étendre le volume" (clic droit)

Lien additionnel Dérick (juin 2019) : https://memo-linux.com/comment-augmenter-la-taille-dune-machine-virtuelle-sous-virtualbox/

patch, en créer un et l'appliquer

Voici un exemple pour utiliser la commande patch :



Parfois, elle peut-être utile. Ici c'est surtout pour retenir l'option -p0 que je poste cet article.

Java, retirer les accents d'une chaîne

Voici le code qui permet de supprimer les accents d'une chaîne de caractères.



Attention, il conserve les lettres ligaturées telles que œ et æ contrairement à la solution proposée sur stackoverflow où ce type de lettres sont tout simplement "supprimées".

sed/awk, remplacer plusieurs occurences entre deux balises html

Attention, il faut prendre garde au cas où les tags html ne seraient pas uniques :



Si on a la chance que le tag de fin est sur la même ligne :



Toutefois, je conseille de préférer awk dont le comportement est plus sûr.