rename script_dir to root_dir

  • discussed with Ashwin over lunch yesterday

  • Purpose: avoid confusion with multiple scripts

  • introduce terminology of the 'rood_dir' of the installation

Merge request reports

Loading