chore: Rename "start" to "server" (#1110)

Workspace commands will be aliased at the top-level, so
"start" would easily be confused with starting a workspace.

Server seems like a more appropriate name too.
This commit is contained in:
Kyle Carberry
2022-04-23 12:19:20 -05:00
committed by GitHub
parent da3681246e
commit 3976994781
8 changed files with 19 additions and 19 deletions

View File

@ -19,7 +19,7 @@ AmbientCapabilities=CAP_IPC_LOCK
CacheDirectory=coder
CapabilityBoundingSet=CAP_SYSLOG CAP_IPC_LOCK CAP_NET_BIND_SERVICE
NoNewPrivileges=yes
ExecStart=/usr/bin/coder start
ExecStart=/usr/bin/coder server
Restart=on-failure
RestartSec=5
TimeoutStopSec=30