unix

Text Editor Create your tex file using a text editor (vi, emacs, gedit). Then you use the latex command to tex the file. latex file.tex Use xdvi to view the file. xdvi file.dvi To print the dvi: dvips -Pf4 file.dvi To convert the dvi to...

At the command line, type:

chsh

You will be asked what you want your new shell to be:

New shell:[/bin/bash] Type, /bin/csh, then enter

You will be then asked for your password.

Changing shell for help Enter LDAP Password:

If your...

http://www.ias.edu/math/services/computing/TeX

Note: Please also see FAQ https://www.ias.edu/math/computing/faq/sync-dropbox-folder

You can access dropbox from the Applications->Internet menu or by typing dropbox from a command prompt. The first time you run it, you should do dropbox install -i...

gnome-panel needs to be restarted. In a terminal window, type: pkill gnome-panel If your toolbar doesn't restart, type: ps -ef | grep gnome-panel In the second column, there is a number. This is the process id (pid).
In the terminal window, type...

1. Right-click on Lock button -> select 'Restart Screensaver Daemon'
2. Check if the xscreensaver daemon is running. At a terminal window, type: pgrep -u your_username xscreensaver -l

where your_username is substituted with your username.

3. If...

The Tape Archive program (tar) is used to create a single file from many files. Tar files are not smaller (compressed) than the original files, they are the union of all files archived. To compress tar files, use gzip or compress after creation.

Cr...

Use file to determine the type of a file. For example, you receive the file unknown from another user and you want to know sort of file is unknown.

file unknown unknown: JPEG image data, JFIF standard

file returns that unknown is a Jpeg file...

There are three main repositories of documentation in UNIX.

• man - The UNIX Manual
• info - The UNIX Information System
• doc - The Documentation Tree

Note: You may also wish to visit our Documentation page.

man
For information about gcc, the GNU C...

A snapshot of your home directory is periodically taken.
At a terminal prompt, type: cd .snapshot
If you type: ls
You will see a list of directories:
./ hourly.1/ hourly.4/ nightly.1/ nightly.4/ weekly.1/ ../ hourly.2/...