|
|
|
@ -15,7 +15,7 @@ EOF |
|
|
|
|
|
|
|
function development_upgrade { |
|
|
|
[[ "$MIAOU_BASH_MODE_OWNER" != "$USER" ]] && |
|
|
|
>&2 echo "ERROR: development mode owned by: $MMIAOU_BASH_MODE_OWNER" && |
|
|
|
>&2 echo "ERROR: development mode owned by: $MIAOU_BASH_MODE_OWNER" && |
|
|
|
builtin exit 11 |
|
|
|
|
|
|
|
cd "$MIAOU_BASH_DIR"/ || return 12 # should not happen |
|
|
|
|
