mirror of
https://gitee.com/milvus-io/milvus.git
synced 2025-12-06 17:18:35 +08:00
18 lines
220 B
Bash
18 lines
220 B
Bash
#!/usr/bin/env bash
|
|
|
|
function push() {
|
|
pushd $1 >/dev/null 2>&1
|
|
}
|
|
|
|
function pop() {
|
|
popd $1 >/dev/null 2>&1
|
|
}
|
|
|
|
function sed_inplace()
|
|
{
|
|
if [ `uname` == "Darwin" ]; then
|
|
sed -i '' "$@"
|
|
else
|
|
sed -i "$@"
|
|
fi
|
|
} |