mirror of
https://github.com/powerline/powerline.git
synced 2025-07-28 08:14:41 +02:00
Save version to the proper location
This commit is contained in:
parent
8da977e0a1
commit
bf29fa9537
@ -17,7 +17,7 @@ checkout_cached_dir() {
|
|||||||
fi
|
fi
|
||||||
if ! test -d "$target" ; then
|
if ! test -d "$target" ; then
|
||||||
git clone --depth=1 "$url" "$target"
|
git clone --depth=1 "$url" "$target"
|
||||||
git rev-parse HEAD > .version
|
git rev-parse HEAD > "$target/.version"
|
||||||
rm -rf "$target"/.git
|
rm -rf "$target"/.git
|
||||||
fi
|
fi
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user