Jump to content
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.

Personnaliser l'invite du shell

Featured Replies

salut , voila j'essaye actuellement de personnaliser l'invite du shell pour tous les users mais je ne trouve pas comment faire.Je sais qu'il faut toucher au fichier /etc/profile mais

apres j'en sais pas plus, est-ce que quelqu'un sait comment faire ?

Est-ce que tu peux être plus clair dans ta question.

Qu'est-ce que tu veux personnalisé dans ton invîte de commande ?

Exemple l'affichage des dossiers avec ls

Si tu ajoutes un alias dans /etc/profile du genre:

alias ls='ls -l --color -a | more'

tu auras un listing en ordre détaillé avec les fichiers cachés et par page.

NOTE: Je te conseille par contre de ne pas utiliser alias ls='ls... car la commande ls par défaut ne fonctionnera plus dans d'autres circonstances. Donc tu peux te créer un alias du genre: alias dir='ls -l --color -a | more' vu que rarement les gens utilise le dir.. ou encore la qui ne entre pas en confusion avec d'autres commandes.

Et il y a plusieurs autre choses de possible dans le /etc/profile autre que des alias de commandes... mais on ne sait pas ce que tu veux vraiment faire !

Edited by ggbce

C'est la variable d'environnement PS1 qu'il faut modifier pour l'invite, fait un echo $PS1 pour voir ce qu'elle donne et modifie la en conséquence.

Enfin si j'ai bien compris ce que tu voulais :)

Archived

This topic is now archived and is closed to further replies.

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.