Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feature request: Create symlink to latest output directory #150

Open
smheidrich opened this issue Feb 12, 2025 · 0 comments
Open

Feature request: Create symlink to latest output directory #150

smheidrich opened this issue Feb 12, 2025 · 0 comments

Comments

@smheidrich
Copy link

smheidrich commented Feb 12, 2025

The problem

Currently, fizz will put the output of its latest run into a timestamped directory under out/, so that as one runs it repeatedly, the directories under out keep accumulating.

At least in my usage, the output directory of the last run is the only one I'm interested in 99% of the time. But something as simple as "show me the latest graph.dot in a GraphViz viewer" requires a bit of shell scripting if I want to make it into a repeatable command, e.g. something likexdot "out/$(ls -t1 out/ | head -n 1)/graph.dot".

Proposal

This could be made a lot easier for myself and others if Fizzbee maintained a symlink, let's call it out/latest, which it would update at the end of each run so that it points to the timestamped output directory just created.

Additional context

The TLA+ Toolbox does something similar: For a model named Model_1, it creates a timestamped directory Model_1_SnapShot_<TIMESTAMP> for every run but also copies the current one into a directory just named Model_1. I think copying is a waste of resources (and in TLA+'s case probably goes back to the time before Windows supported symlinks) and a symlink would probably be better.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant