User:Xenon dichloride/Terminal: Difference between revisions
Created page with "Terminal" |
No edit summary |
||
| Line 1: | Line 1: | ||
Terminal | Terminal is a nomic taking place entirely within a filesystem. Actions are submitted as terminal commands. | ||
{| class="wikitable" | |||
|+ | |||
!Command | |||
!Alternative | |||
!Syntax | |||
!Description | |||
|- | |||
|mk | |||
|make | |||
|mk {location or if blank: ~/} {name} {dir/file or if blank: file} {owner or if blank: you, if e or all: all players} {if file: contents as attached .txt file or code block} | |||
|Creates a file or directory at the specified location | |||
|- | |||
|cp | |||
|copy | |||
| | |||
| | |||
|- | |||
|mv | |||
|move | |||
| | |||
| | |||
|- | |||
|rm | |||
|remove | |||
| | |||
| | |||
|- | |||
|ct | |||
|cut | |||
| | |||
| | |||
|- | |||
|et | |||
|edit | |||
| | |||
| | |||
|- | |||
|run | |||
| | |||
|run {file name} | |||
|Executes the code in a file. | |||
|} | |||
sudo can be purchased, not always accessed | |||
when a player joins, a file is created at ~/Players/ named {player name}. If that file already exists, isplayer is set to true. When a player ceases being a player, this is set to false. If a player or ex-player leaves the server, they are no longer a player and their file is removed. A player must be a member of the IN discord server. | |||
Revision as of 00:44, 6 January 2024
Terminal is a nomic taking place entirely within a filesystem. Actions are submitted as terminal commands.
| Command | Alternative | Syntax | Description |
|---|---|---|---|
| mk | make | mk {location or if blank: ~/} {name} {dir/file or if blank: file} {owner or if blank: you, if e or all: all players} {if file: contents as attached .txt file or code block} | Creates a file or directory at the specified location |
| cp | copy | ||
| mv | move | ||
| rm | remove | ||
| ct | cut | ||
| et | edit | ||
| run | run {file name} | Executes the code in a file. |
sudo can be purchased, not always accessed
when a player joins, a file is created at ~/Players/ named {player name}. If that file already exists, isplayer is set to true. When a player ceases being a player, this is set to false. If a player or ex-player leaves the server, they are no longer a player and their file is removed. A player must be a member of the IN discord server.