23 lines
446 B
Bash
23 lines
446 B
Bash
pushd() {
|
|
command pushd "$@" > /dev/null
|
|
}
|
|
|
|
popd() {
|
|
command popd "$@" > /dev/null
|
|
}
|
|
|
|
releasename() {
|
|
local version
|
|
local date
|
|
version="$(cat VERSION | head -n 1)"
|
|
date="$(date +%Y%m%d)"
|
|
printf "${version}-${date}"
|
|
}
|
|
|
|
force_push_tag() {
|
|
git tag -d "${tag}" > /dev/null 2>&1 || :
|
|
git push --delete origin "${tag}" > /dev/null 2>&1 || :
|
|
git tag -s -m "${description}" "${tag}"
|
|
git push origin "${tag}"
|
|
}
|