Skip to content
Snippets Groups Projects
Select Git revision
  • ws18
  • ss18
  • master default protected
  • ws17
  • ss17
  • readme
  • offline_repo_integration
  • bash_sucks
  • ws15-final
  • ss15-final
  • ws14-final
  • ws14
12 results

config

  • Clone with SSH
  • Clone with HTTPS
  • user avatar
    Christopher Spinrath authored
    findmnt always returns the absolute path to a mount point, so
    we have to compare the result with an absolute path.
    But $(IMAGE_DIR) may be a relative path; thus, convert it to an
    absolute path first.
    9907fc4f
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    Name Last commit Last update
    ..