tag:linux_tips

TAG: Linux tips

PageDateUtilisateurDescriptionÉtiquettes
2022/03/20 06:24Cédric ABONNELRaccourcis bien utiles sous Linux linux_tips Ctrl + D Dans Firefox, + permet d'ajouter la page courante dans le marque-page. Ctrl + L Dans l'applicat…
2023/01/02 15:02Cédric ABONNELÉcrire le point médian · linux_tips Édition du 5 janvier 2023 Le caractère · (appelé “point médian” en français) est un caractère de ponctuation utilisé da…