Verwenden verschiedener .cshrc.user-Dateien

1859
Baz

Ich habe zwei .cshrc.userDateien für zwei verschiedene Projekte. Sie setzen beispielsweise dieselben Umgebungsvariablen, jedoch mit unterschiedlichen Werten.

Wenn ich gerade zwischen Projekten wechsle, führe ich ein Python-Skript aus, das die richtige .cshrc.userDatei in meinen Home-Ordner kopiert, bevor ich ein neues Terminalfenster öffne.

Gibt es einen bequemeren Weg, dies zu tun?

1

1 Antwort auf die Frage

0
Cairnarvon

Sie können eine RC-Datei angeben csh, die nach den üblichen ( dh /etc/csh.und $HOME/{.cshrc,.login}) mit dem -mFlag aufgerufen werden soll. Sie können alle freigegebenen Konfigurationen beibehalten .cshrcund die projektspezifischen Elemente in ihre eigenen RC-Dateien verschieben und einfach eine neue cshSitzung in Ihrer vorhandenen Konfiguration starten, wann immer Sie an Ihrem Projekt arbeiten möchten:

exec csh -m .cshrc.project1

Dies hat den zusätzlichen Vorteil, dass projektspezifische Variablen bei der normalen Verwendung der Shell nicht behindert werden. Der Nachteil ist, dass Sie dies in jedem neuen Terminalfenster tun müssen. Wie viel Schmerz das ist, hängt von Ihrem Arbeitsablauf ab.

Verwandte Probleme