Nieuws:

We zijn er weer.

Na lange tijd van afwezigheid zijn we er weer  :laugh:
We hebben alle wachtwoorden gereset, je oude wachtwoord werkt niet meer.Je moet via het "wachtwoord vergeten"-linkje je wachtwoord resetten. Je krijgt hiervoor een mailtje op het adres dat je bij ons geregistreerd hebt.

De komende tijd zijn we nog druk bezig om de rest van de site op te bouwen, dus het kan zijn dat sommige onderdelen (tijdelijk) niet werken.

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

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

Offline Vistaus

  • Webteam
    • vistaus
  • Steunpunt: Nee
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?

Offline Nunslaughter

  • Lid
    • timovwb
  • Steunpunt: Nee
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

Offline Vistaus

  • Webteam
    • vistaus
  • Steunpunt: Nee
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! :)

Offline Vistaus

  • Webteam
    • vistaus
  • Steunpunt: Nee
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\$ '