User:Xenon dichloride/Terminal: Difference between revisions
No edit summary |
No edit summary |
||
| Line 15: | Line 15: | ||
|cp | |cp | ||
|copy | |copy | ||
| | |cp {name} | ||
| | | | ||
|- | |- | ||
| Line 27: | Line 27: | ||
| | | | ||
| | | | ||
|- | |||
|nm | |||
|rename | |||
|nm {location} {new name} | |||
|Changes the name of a file or directory. | |||
|- | |- | ||
|ct | |ct | ||
| Line 44: | Line 49: | ||
|} | |} | ||
sudo can be purchased, not always accessed | sudo can be purchased, not always accessed | ||
You cannot perform a command on a file or in a directory that you are not the owner of, unless you use sudo. | |||
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. | 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:48, 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 | cp {name} | |
| mv | move | ||
| rm | remove | ||
| nm | rename | nm {location} {new name} | Changes the name of a file or directory. |
| ct | cut | ||
| et | edit | ||
| run | run {file name} | Executes the code in a file. |
sudo can be purchased, not always accessed
You cannot perform a command on a file or in a directory that you are not the owner of, unless you use sudo.
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.