script

sethome "./home"

cat > "./home/.databrickscfg" <<EOF
; The profile defined in the DEFAULT section is to be used as a fallback when no profile is explicitly specified.
[DEFAULT]

[dev]
host = ${DATABRICKS_HOST}
auth_type  = databricks-cli

[staging]
host = ${DATABRICKS_HOST}
auth_type  = databricks-cli
EOF

mkdir -p "./home/.databricks"
cat > "./home/.databricks/token-cache.json" <<EOF
{
  "version": 1,
  "tokens": {
    "dev": {
      "access_token": "dev-cached-token",
      "token_type": "Bearer"
    },
    "staging": {
      "access_token": "staging-cached-token",
      "token_type": "Bearer"
    },
    "${DATABRICKS_HOST}": {
      "access_token": "shared-host-token",
      "token_type": "Bearer"
    }
  }
}
EOF

title "Token cache keys before logout\n"
jq -S '.tokens | keys' "./home/.databricks/token-cache.json"

title "Logout dev without --delete"
trace $CLI auth logout --profile dev --force

title "Config after logout — both profiles should still exist\n"
cat "./home/.databrickscfg"

title "Token cache keys after logout — dev removed, host preserved (shared with staging)\n"
jq -S '.tokens | keys' "./home/.databricks/token-cache.json"