jemdoc: menu{MENU}{linux-servers.html}
= Logging in
If you want to access any of the systems remotely, use SSH as described in these documents: [https://www.eecs.tufts.edu/userguide/?doc=remote_access-ssh2]
[https://www.eecs.tufts.edu/userguide/?doc=UnixLoginHosts]
= Command-line cheatsheet
This is meant to be a quick list of commands that are useful as you’re getting started with the Unix/Linux command-line and various other tools.
For a longer tutorial with examples and screen animations, check out [https://learn.adafruit.com/an-illustrated-shell-command-primer/introduction-adventuring-in-the-shell this guide at Adafruit].
In these examples, items in +/CAPITAL ITALIC/+ represent items that should be replaced, usually with a file or directory name.
= Moving around +cd /DIR/+ change to a directory
+pwd+ Print the present working directory (i.e., where you are)
+ls+ list the contents of the current directory
= Files and directories +touch /FILE/+ creates FILE, or updates its modification time if it already exists
+rm /FILE/+ removes FILE
+mkdir /DIR/+ creates the directory DIR
+rmdir /DIR/+ removes the directory DIR
+cp /SRC/ /DST/+ copies the file SRC to DST
= Provide +provide ee201 /ASSIGNMENT/ /FILE/+ submits FILE for grading.
= A more useful prompt The default prompt ( e.g, +sunfire62{sbell03}33}+ ) isn’t very helpful.
You can get a better one by editing the file +~/.cshrc+, and putting the following lines at the end:
{}{}
# Use a nice prompt
# %n is your current username
# %m is the hostname
# %~ shows the current directory, and uses ~ for home
set prompt="%n@%m\:%~> "
For a fancier color version, use this: ~~~ {}{} # Color prompt # You can change the last number to try different colors # The first two numbers control background and bold set prompt=“%{[38;5;9m%}%n%{[38;5;15m%}@%{[38;5;3m%}%m%{[38;5;7m%}:%{[38;5;6m%}%~%{[0m%}>” ~~~