Commit 47c6bacd2261167a9f06fce5f8853c28bd0b3ee5

Authored by Shrikant Sharat
1 parent b2523d4bef

Fix adding a `.git` prefix to local repo urls.

Showing 1 changed file with 2 additions and 2 deletions Side-by-side Diff

... ... @@ -132,10 +132,10 @@ antigen-update () {
132 132 # TODO: Memoize?
133 133 echo "$1" | sed \
134 134 -e "s:^$ADOTDIR/repos/::" \
135   - -e 's/$/.git/' \
136 135 -e 's.-SLASH-./.g' \
137 136 -e 's.-COLON-.:.g' \
138   - -e 's.-PIPE-.|.g'
  137 + -e 's.-PIPE-.|.g' \
  138 + | awk '/^\// {print; next} {print $0 ".git"}'
139 139 }
140 140  
141 141 -antigen-ensure-repo () {