3 results
tagged
Caractères x
-
How to use "grep" command to find text including subdirectories - Ask Ubuntu
Thu Sep 20 16:29:25 2018 * - permalink -Pour chercher une chaine de caractères dans un répertoire de façon récursive :
grep -rl "string" "$PATH"- -r permet de faire la recherche récursive dans les fichiers situés dans "$PATH";
- -l permet de n'afficher que les noms des fichiers contenant le texte recherché. Sans cette option, la commande grep affichera les lignes contenant le texte recherché.
- https://askubuntu.com/questions/55325/how-to-use-grep-command-to-find-text-including-subdirectories/55333#55333
-
Il n'y a pas que les gènes dans la vie ! L'épigénétique, avec P'tite Jane — Science étonnante #54 - YouTube
Wed Jul 4 21:49:39 2018 - permalink -Une vidéo très intéressante de Science étonnante (elles le sont toutes) au sujet de l'épigénétique et de la méthylation des gènes. Ou comment deux êtres vivants ayant strictement le même génome peuvent malgré tout exprimer un phénotype différent !
Je ne connaissait pas du tout ce phénomène, et il semble qu'il puisse pourtant expliquer beaucoup de choses.- https://www.youtube.com/watch?v=igf6MLmkBcw&feature=em-uploademail
-
Taper des caractères spéciaux sous GNU/Linux · ®om's blog
Fri Jun 1 14:39:08 2018 * - permalink -Pour insérer un caractère Unicode dans un texte sous GNU/Linux :
- taper la combinaison de touches suivante :
CTRL + SHIFT + u; - une lettre u soulignée apparaît;
- il reste alors à taper le code du caractère désiré. Si le caractère n'apparaît pas tout seul en remplacement de la chaîne uXYZ, il faut alors appuyer sur la touche Entrée.
Par exemple :
- Ctrl + Shift + u suivi du code 153 (ou 0153) puis Entrée donne le caractère œ;
- Ctrl + Shift + u suivi du code D8 (ou 00D8) donne le caractère Ø (pas besoin d'appuyer sur Entrée);
- Ctrl + Shift + u suivi du code 2030 donne le caractère ‰ (pas besoin d'appuyer sur Entrée).
On peut évidemment utiliser les chiffres du pavé numérique ou du clavier.
Sous Windows c'est un autre système que je n'ai pas testé.
- https://blog.rom1v.com/2009/02/taper-des-caracteres-speciaux-sous-gnulinux/
- taper la combinaison de touches suivante :