Skip to content
Snippets Groups Projects
Forked from Core Modules / dune-common
Source project has a limited visibility.
  • Felix Gruber's avatar
    d00519ce
    make dunecontrol compatible with git worktrees · d00519ce
    Felix Gruber authored and Christoph Grüninger's avatar Christoph Grüninger committed
    In linked worktrees generated with `git worktree`, .git is a file
    instead of a directory.
    
    Since dunecontrol was only checking whether .git exists as a directory,
    it didn't recognize linked worktrees as git repositories. This problem
    can simply be fixed by additionally checking if .git exists as a regular
    file.
    d00519ce
    History
    make dunecontrol compatible with git worktrees
    Felix Gruber authored and Christoph Grüninger's avatar Christoph Grüninger committed
    In linked worktrees generated with `git worktree`, .git is a file
    instead of a directory.
    
    Since dunecontrol was only checking whether .git exists as a directory,
    it didn't recognize linked worktrees as git repositories. This problem
    can simply be fixed by additionally checking if .git exists as a regular
    file.