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.

[RESOLU] shell

Par Mephisto
dans Programmation et Lignes de code

Featured Replies

Posté(e)

Bonsoir

j'ai un petit soucis avec le petit shell que je recode, a savoir, quand je fais un unsetenv * et que je lance mon shell, je genere un mini-environnement de base (PATH, PWD, ...) mais je n'ai plus le login de l'utilisateur

comment pourrais-je le recuperer ?

merci!

Modifié par Mephisto

  • Citer
    • Posté(e)

    Peux-tu préciser ce que tu entends par : "je n'ai plus le login de l'utilisateur" ?

    Si ce que tu entends par cela est que tu n'as plu d'informations avant le '$' du prompt, c'est que la variable PS1 est vide.

  • Citer

    • Archivé

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

    Aller sur la liste des sujets

    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.