mirror of
https://github.com/dokku/dokku.git
synced 2025-12-29 00:25:08 +01:00
86795ddacc
While I do not agree with _every_ style change, this will force Dokku to have consistent formatting across all shell scripts, which is arguably a Good Thing™. The command used to reprocess everything is: ```shell shfmt -l -bn -ci -i 2 -w . ```
15 lines
468 B
Bash
Executable File
15 lines
468 B
Bash
Executable File
#!/usr/bin/env bash
|
|
set -eo pipefail
|
|
[[ $DOKKU_TRACE ]] && set -x
|
|
source "$PLUGIN_CORE_AVAILABLE_PATH/common/functions"
|
|
|
|
check_ssh_keys_user() {
|
|
declare desc="check user passed by user-auth for ssh-keys plugin"
|
|
local SSH_USER=$1 SSH_NAME=$2
|
|
[[ "$SSH_USER" == "root" || "$SSH_NAME" == *admin* ]] || dokku_log_fail "You must be root, or a dokku admin, to execute this command"
|
|
}
|
|
|
|
if [[ "$3" =~ (ssh-keys:add|ssh-keys:remove) ]]; then
|
|
check_ssh_keys_user "$@"
|
|
fi
|