Aller au contenu
View in the app

A better way to browse. Learn more.

Next

A full-screen app on your home screen with push notifications, badges and more.

To install this app on iOS and iPadOS
  1. Tap the Share icon in Safari
  2. Scroll the menu and tap Add to Home Screen.
  3. Tap Add in the top-right corner.
To install this app on Android
  1. Tap the 3-dot menu (⋮) in the top-right corner of the browser.
  2. Tap Add to Home screen or Install app.
  3. Confirm by tapping Install.

Editeurs de textes

Featured Replies

Posté(e)

Ayant utiliser plusieurs distrib différentes en très peu de temps, j'ai aussi utilisé plusieurs éditeurs de textes...

Vi

Vim (net progrès, déjà)

et nano

Lequel preferez-vous (pas forcément parmi les 3 ci-dessus)?

Posté(e)

vi(m) est vraiment indispensable... vu le temps qu'on passe en ligne de commandes ! C'est la clé à molette des éditeurs de texte.

Sinon, en mode graphique j'utilise souvent Nedit, qui suffit amplement à la majorité des tâches d'édition, et qui reste relativement léger.

J'ai horreur d'emacs...

Posté(e)

Quand je fais de l'admin pure et dure, c'est à dire que j'édite du fichier de conf à tout bout de champ, j'utilise vi (en fait vim). C'est rapide, ça a la coloration sytaxique, c'est en mode console (pratique sur des serveurs sans X), et c'est dispo partout.

Quand je code, par contre, j'utilise emacs. Cet éditeur est totalement gigantesque. Dommage qu'il faille 7 mains pour l'utiliser à 100%... ;-)

Le problème c'est qu'il m'est arrivé de retrouver dans les commentaires de mes programmes des ":wq" :yes:

Mais bon, je suis bien content avec ça :-)

A+

Gauret

Posté(e)
  • Auteur

je parlais bien en mode console...

parce que je trouve que nano est plus.... intuitif et donc je m'étonne qu'il ne soit pas généralisé...

Posté(e)

+1 sur vi(m)

quand on voit tout ce qu'on peut faire en une commande (surtout qu'on peut la passer en ligne de commande et utiliser vi en batch)

j'ai même un vim sous les Windows que je suis contraint d'utiliser :)

Archivé

Ce sujet est désormais archivé et ne peut plus recevoir de nouvelles réponses.

Configure browser push notifications

Chrome (Android)
  1. Tap the lock icon next to the address bar.
  2. Tap Permissions → Notifications.
  3. Adjust your preference.
Chrome (Desktop)
  1. Click the padlock icon in the address bar.
  2. Select Site settings.
  3. Find Notifications and adjust your preference.