diff --git a/platform_profile b/platform_profile index 22cebd8..de7d6fc 100755 --- a/platform_profile +++ b/platform_profile @@ -1,6 +1,5 @@ #!/usr/bin/env bash set -euo pipefail -set -x case "${1}" in get)