Nieuws:

Welkom, Gast. Alsjeblieft inloggen of registreren.
Heb je de activerings-mail niet ontvangen?

Pagina's: [1]   Omlaag

Auteur Topic: Terminal: is het mogelijk om username@hostname te wijzigen?  (gelezen 378 keer)

Offline Vistaus

  • Lid
    • vistaus
Terminal: is het mogelijk om username@hostname te wijzigen?
« Gepost op: 2014/03/10, 00:33:36 »
De terminal-titel kun je makkelijk aanpassen via de voorkeuren van GNOME Terminal. Maar wat ik graag wil is de regel vóór een commando wijzigen. Nu staat daar:

[vistaus@yoga13 ~]$

(waarachter ik een commando kan ingeven)

Maar hoe wijzig ik dat naar iets anders?
Meld dit bericht aan de moderator   Gelogd

Offline Nunslaughter

  • Lid
    • timovwb
Re: Terminal: is het mogelijk om username@hostname te wijzigen?
« Reactie #1 Gepost op: 2014/03/10, 00:39:44 »
Verander de PS1 variabele in $HOME/.bashrc
Meld dit bericht aan de moderator   Gelogd

Offline Vistaus

  • Lid
    • vistaus
Re: Terminal: is het mogelijk om username@hostname te wijzigen?
« Reactie #2 Gepost op: 2014/03/10, 00:45:56 »
Dank! Met een beetje zoeken op internet i.c.m. jou reactie is het me gelukt! :)
Meld dit bericht aan de moderator   Gelogd

Offline Vistaus

  • Lid
    • vistaus
Re: Terminal: is het mogelijk om username@hostname te wijzigen?
« Reactie #3 Gepost op: 2014/05/29, 16:57:51 »
P.S.: dit is de variabele:
PS1='${debian_chroot:+($debian_chroot)}\u@\h:\w\$ '
Meld dit bericht aan de moderator   Gelogd
Pagina's: [1]   Omhoog