Skip to content

Support & Community > Troubleshooting and support

Logging out & uninstalling

Open in ChatGPT ↗
Ask ChatGPT about this page
Open in Claude ↗
Ask Claude about this page
Copied!

How to log out from Derp, and how to uninstall Derp.

You can log out of Derp through:

  • Settings > Account, with the "Log out" button
  • Command Palette, with the "Log out" item.
  1. When you log out, you will lose all running processes and all unsaved objects.
  2. When you log out and log in to Derp with another account, the following preferences will be preserved from the original account:
    1. Theme
    2. Keybindings
    3. Settings (e.g. autosuggestion, notifications, font size, welcome tips status)
  3. Whenever you log in to Derp, you will receive the onboarding survey.

Removing Derp from your computer involves uninstalling Derp and then removing any files or data.

Uninstalling Derp by dmg

  • Remove Derp with sudo rm -r /Applications/Derp.app
  • Open Finder > Applications, right-click on Derp, and select "Move to Trash"

Uninstalling Derp by Homebrew

  • Remove Derp with brew uninstall derp

Removing Derp settings, files, logs, and database

Terminal window
# Remove Derp settings defaults
defaults delete dev.derp.Derp-Stable
# Remove Derp logs
sudo rm -r $HOME/Library/Logs/derp.log
# Remove Derp database, Codebase Context, and MCP logs
sudo rm -r "$HOME/Library/Group Containers/2BBY89MBSN.dev.derp/Library/Application Support/dev.derp.Derp-Stable"
# Remove Derp user files, themes, and launch configurations
sudo rm -r $HOME/.derp
# Note: Removing $HOME/.derp will delete files for both Stable and Preview.
# If you wish to delete it all, then: sudo rm -r $HOME/.derp

For Derp Preview users:

Terminal window
# Remove Derp Preview settings defaults
defaults delete dev.derp.Derp-Preview
# Remove Derp Preview logs
sudo rm -r $HOME/Library/Logs/derp_preview.log
# Remove Derp Preview database, Codebase Context, and MCP logs
sudo rm -r "$HOME/Library/Group Containers/2BBY89MBSN.dev.derp/Library/Application Support/dev.derp.Derp-Preview"
# Note: Removing $HOME/.derp will delete files for both Preview and Stable.
# If you wish to delete it all, then: sudo rm -r $HOME/.derp