Skip to content

rename script_dir to root_dir

Hans Fangohr requested to merge rename-script_dir-to-root_dir into main

  • discussed with Ashwin over lunch yesterday

  • Purpose: avoid confusion with multiple scripts

  • introduce terminology of the 'rood_dir' of the installation

Merge request reports