Usando diferentes arquivos .cshrc.user

Question

Eu tenho dois arquivos .cshrc.user para dois projetos diferentes. Por exemplo, eles definem as mesmas variáveis de ambiente, mas com valores diferentes.

Quando estou alternando entre projetos, executo um script python que copia o arquivo .cshrc.user correto para minha pasta pessoal antes de abrir uma nova janela de terminal.

Existe uma maneira mais conveniente de fazer isso?

    

Answer 1

Você pode especificar um arquivo rc para que csh seja invocado após os usuais (ou seja, /etc/csh.{chsrc,login} e $HOME/{.cshrc,.login} ) com o sinalizador -m . Você poderia manter toda a configuração compartilhada em .cshrc e mover as coisas específicas do projeto para seus próprios arquivos rc, e apenas iniciar uma nova sessão csh dentro de sua existente sempre que quiser trabalhar em seu projeto da seguinte forma:

exec csh -m .cshrc.project1

Isso tem a vantagem adicional de que as variáveis específicas do projeto não atrapalham durante o uso regular do shell. A desvantagem é que você precisará fazer isso em todas as novas janelas de terminal. Quanta dor isso depende do seu fluxo de trabalho.