Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • nomad-FAIR nomad-FAIR
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
  • Issues 244
    • Issues 244
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 45
    • Merge requests 45
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages and registries
    • Packages and registries
    • Package Registry
    • Container Registry
    • Infrastructure Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • nomad-labnomad-lab
  • nomad-FAIRnomad-FAIR
  • Merge requests
  • !1128

Fixed missing tools.json problem.

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Markus Scheidgen requested to merge fix-missing-tools-json into develop Mar 02, 2023
  • Overview 0
  • Commits 1
  • Pipelines 1
  • Changes 1

The config cannot find the right default tools.json file when run from not the project root directly. This fix is trying to use the given file as it if, if fails uses the given file relative to the project root.

This is related to #1353.

Changlog: Fixed

Edited Mar 02, 2023 by Markus Scheidgen
Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: fix-missing-tools-json