docs

Sign in

1. Introduction

What is exe.dev? Why EXE? Pricing

2. Features

exe.dev HTTP Proxies Sharing Custom Domains Login with exe Shelley, our Agent

3. Use Cases

Intro Running Agents Running a self-hosted GitHub Actions Runner Spinning up a Marimo Notebook

4. CLI Reference

help doc ls new rm share whoami delete-ssh-key shelley ssh browser exit

5. Editorials

Persistent disks, not serverless Put your agent in a VM and let it be The GUTS Stack

6. Other

Frequent Asked Questions Help & Community How exe.dev works

← All docs

delete-ssh-key

delete-ssh-key

Delete an SSH key

Usage

delete-ssh-key <public-key>

Options

--json: output in JSON format