docs

Sign in

One Page · docs.md

1. Introduction

What is exe.dev? Why EXE? Pricing

2. Features

exe.dev HTTP Proxies Sharing Custom Domains Login with exe API

3. Shelley

What is Shelley? AGENTS.md Upgrading Shelley

4. FAQ

What is the host key for exe.dev? How do I use a specific SSH key for exe.dev? How do I connect VSCode to my VM? How do I copy files to/from my VM? Can I run docker images? How do you pronounce "exe"? How do I access GitHub? How do I set up a minimal GitHub token? How does exe.dev work?

5. Use Cases

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

6. Editorials

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

7. Other

Help & Community Privacy Notice Terms of Service

8. CLI Reference

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

← All docs

restart

restart

Restart a VM

Usage

restart <vmname>

Options

--json: output in JSON format