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.

fichier .bashrc à modifier

Featured Replies

Posté(e)

Bonjour,

J'ai choisit de travailler sous bash parce qu'il permet une actualisation automatique du itre de la fenetre lorsque l'on se déplace dans des répertoire ou que l'on se connecte sur une machine distante. Cepandant, l'orsque j'utilise screen et qu'ensuite je me connecte sur une machine distante, le titre n'est plus actualisé. En fait il l'est pour certaines machines distante et pas pour d'autres, pourtant le fichier /home/moi/.bashrc et le même sur toutes les machines.

Y a t'il une option à mettre dans le fichier .bashrc pour forcer l'actualisation?

Posté(e)

J'utilise ça (fonctionne sous bash uniquement) :

PROMPT_COMMAND='echo -ne "33]0;${USER}@${HOSTNAME}: ${PWD}�7"'

Plus de détails ici : tldp, la commande passe mal....

Modifié par theocrite

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.