popd permet de retourner au dernier dossier enregistré (un peu comme cd sans argument qui ramène dans le dossier de l’utilisateur).
En fait l'équivalent serait cd - qui te renvoie dans le dossier précédent.
Appelé sans argument, pushd déplace l’utilisateur dans le dossier qui se situe au sommet de la pile de dossiers, et ajoute le chemin qui était courant au moment de l’appel de la fonction au sommet de la pile. Ainsi, Appeler pushd sans arguments plusieurs fois de suite permet de basculer entre deux dossiers.
Ça je ne connaissais pas, merci !
Moi j'aime bien OpenDyslexia, ça me donne une impression de modernité, ça ressemble un peu aux lettres basques, et puis, étant légèrement dyslexique, j'ai eu envie de faire connaître cette police.
Très clairement, on a pas du tout le même ressenti. Déjà, j'ai du mal à voir la modernité. Ensuite, cette police m'indispose au plus haut point (je précise que je ne suis pas dyslexique). Un peu comme un livre mal imprimé avec une encre qui a bavé. On dirait du Comic Sans qu'on aurait fait fondre au chalumeau. Ce n'est peut être que moi, mais je ne me vois pas lire plus de quelques lignes avec cette police. J'ai bloqué les polices externes avec uBlock Origin, mais je n'arrive pas encore à avoir une police différente.
Bon, après ce n'est pas un plaidoyer que tu changes ta police, mais juste faire remarquer que ça peut déranger des gens.
[^] # Re: Memo 1
Posté par liberforce (site web personnel, Mastodon) . En réponse au journal Ligne de commande : les 20 mémos d'un « autodidacte ». Évalué à 4.
Super la réactivité ;). Petite remarque:
En fait l'équivalent serait
cd -qui te renvoie dans le dossier précédent.Ça je ne connaissais pas, merci !
Très clairement, on a pas du tout le même ressenti. Déjà, j'ai du mal à voir la modernité. Ensuite, cette police m'indispose au plus haut point (je précise que je ne suis pas dyslexique). Un peu comme un livre mal imprimé avec une encre qui a bavé. On dirait du Comic Sans qu'on aurait fait fondre au chalumeau. Ce n'est peut être que moi, mais je ne me vois pas lire plus de quelques lignes avec cette police. J'ai bloqué les polices externes avec uBlock Origin, mais je n'arrive pas encore à avoir une police différente.
Bon, après ce n'est pas un plaidoyer que tu changes ta police, mais juste faire remarquer que ça peut déranger des gens.