informalsystems / themis-tracer

A tool for managing complex contexts for developing critical systems
Apache License 2.0
4 stars 0 forks source link

Change contexts based on directory #39

Open shonfeder opened 3 years ago

shonfeder commented 3 years ago

If whorl is integrated into the user's shell, then, when entering a worksite belonging to some contexts, whorl will detect the .whorl file at the directory root, and activate the contexts on entry. (Akin to direnv or opam).