Using Detri

How to use detris, from the command line

Usually, you can start, by calling it from the command-line:

\ocaml detri.ml

The name detri.ml can change, because there are several variant, depending of what you expect from it.

U can go to the page: detris, to see the list of the available detris.

When i start'd detri the meaning for this word was "calendar", but now it seems it's defin'd in a different way.

Detri tries to print a calendar in the console, in a similar way than cal, but most variant can also highlight days.

Detri-range can also high-light ranges-of-days, but not w/ several colours.

With most detris, you can initialize a detri-dir (the --detri-dir command-line option), with days for an fr-zone, w/ a script similar than:

$ cat range3/init-days.sh
YEAR='2025'
echo "Fete du Travail" >> $YEAR-05-01.txt
echo "Victoire 1945"   >> $YEAR-05-08.txt
echo "Fete Nationale"  >> $YEAR-07-14.txt
echo "Assomption"      >> $YEAR-08-15.txt
echo "Armistice 1918"  >> $YEAR-11-11.txt
echo "Noel"            >> $YEAR-12-25.txt

If i'm not mistaken, these days should be the same for every-years, of the main fr-zone.

Maybe you should also add:

echo "Jour de l-An"    >> $YEAR-01-01.txt

You can also write, some kind of day-log, adding a .txt file in your detri-dir, which the name of the .txt file is, the same than, what returns, the command:

$ date --iso

Detri can also be usefull, if you want to associate, a project-planning, inside a project directory.

Each of your project, can have its own detri-dir.

But be carefull of events-clash's, if several project, involve events in the same day, for several things that you have to do the same day, at the same hours.

With detri-range you can also high-light ranges of days, and the event-days (only one day), will be high-light'd in the middle.

You can choose the color to high-light, one-days-events, with the option:
--event-color

You can also do it for your favorite country (init-days).