This is a creative solution to a problem that I have had for a very long time. My workaround was to rename files nightly on a cron but this is much better! Thank you!
On Thu, Apr 15, 2021, 08:17 Carl Edquist <edqu...@cs.wisc.edu> wrote: > On Thu, 15 Apr 2021, Michael Stone wrote: > > > I think it's a heck of a lot easier to add short options than it is to > > remove them, and that there are more ideas for things to do than there > > are letters. I'm on the side of make it a long option. In a few years if > > it's a commonly used thing with a groundswell of demand for a short > > option, it can always be added. There are a lot of existing short > > options that aren't used very often, are redundant, or are simply > > confusing, and it would be really nice (but impossible) to have those > > letters back. Continuing the tradition of burning short options by > > default just makes the hole deeper. > > That makes sense! > > Thanks for the feedback, I appreciate the discussion. > > Carl > >
