search

numtide / devshell

Per project developer environments
https://numtide.github.io/devshell/
MIT License
1.22k stars 87 forks source link

Preserve derivation name #221

Closed gytis-ivaskevicius closed 1 year ago

gytis-ivaskevicius commented 1 year ago

Fix devshell name presentation in pure shell https://github.com/sindresorhus/pure/blob/main/pure.zsh#L235

zimbatm commented 1 year ago

Sounds good but can you add a note in the file that name is set and kept to be compatible with this pure project?