CSC 200 - Connecting to and Using Shrike

Connecting to and Using Shrike

Shrike is a Unix-based system. Once logged in, you interact with the system by typing various commands at the prompt. Please note that Unix commands are case sensitive. For additional information on using the Unix environment at DePaul, please see: Introduction to UNIX. For more detailed information about using the Pine email client in Shrike, please see: Pine.

Connecting to shrike

You need to use telnet to access your shrike account. You may either use a third-party telnet program, or you can use the one that comes as part of Windows. To use the default Windows telnet, from Windows select Start\Run and type:

   telnet students.depaul.edu

in the "Run" dialog box. This will open a telnet window in which you will be prompted for your username and password. After typing these you should be logged in to your shrike account. When you are finished with other tasks you should type

   logout

to logout and close the telnet window.

Warning! shrike institutes a 3 strikes and you are out policy. If you type your password incorrectly 3 times in a row, your password will become invalid and you will be unable to log in until it is reset (by ID services). It will take several days before they do this, and this is not a valid excuse for a late assignment. Remember, Unix is case sensitive.

Using Pine

After logging in to shrike, you can type pine at the prompt to run the Pine email client. If this is the first time you use Pine, it may ask you if you want to create a Mail folder. You should anser "yes" (by typing a "y" at the prompt. The pine interface will then provide you with a list of commands, including for composing new emails, viewing your mails, changing or creating mail folders, etc.

Before using Pine to compose your email messages or use your email account, please read the document Pine Mailer to become familiar with the program's basic operations.

Basic Unix Commands

Once you are logged in, you will need to be able to issue some Unix commands. Here is a short selection of the most widely used commands.

pwd
This command shows you the current working directory. The files in your Unix account are organized into directories and subdirectories. The root of this directory hierarchy is your main directory from which you start after you log in.

cd directory_name
This changes the current working directory to a directory or a subdirectory named directory_name.

cd ..
This makes you go up one level to the parent of the current working directory.

ls
This lists the contents (files and subdirectories) of the current directory.

ls -l
This lists the long form of the directory contents (including the file permissions).

mkdir directory_name
This creates a directry named directory_name as a subdirectory of the current working directory. For example, to create a directory for the course CSC200, you can type the command: mkdir csc200. Once created, you can navigate to this directory by using: cd csc200.

rm file_name
This command removes a file in the current directory called file_name.

rmdir directory_name
This command removes a whole directory or subdirectory named directory_name.

more file_name
This command allows you to view the contents of a file named file_name, one page at a time. If the file is more than one page (whatever fits in one screen), you can use the [space] key to move forward, and the [B] key to go backward.

cp file1_name file2_name
This command makes a copy of the file named file1_name and names the copy file2_name.

mv file1_name file2_name
This command moves the file named file1_name into another file named file2_name. The original file file1_name is removed. Essentially, the command is used to rename an existing file.

mv file_name directory_name
This command moves the file named file_name into an existing directory named directory_name.

chmod
This command allows you the change permissions on a file or a directory. Generally, when you create a new file or directory, only you have permission to read to modify (or execute in the case of a program) the file. To change the permission of a directory so that it can be viewed by others (for example in case of files that you want accessible via the Web), you can issue the followng command:
chmod 711 directory_name
To change the permissions for a specific file to make it readable by others, you can issue the command:
chmod 644 file_name
If you want to change the permissions for all files in a directory you can do so with the wildcard character "*". The first line below changes permissions for all html documents, the second line changes the permissions for all gif files:
chmod 644 *.html chmod 644 *.gif

quota -v
This command shows your space usage on your account and the amount of space that you have been allocated. Be careful when these numbers are close.

man command_name
If you are unsure about how to use a command you can refer to the man(ual) pages for that command. These manual pages describe the basic format for how to use the command, as well as various options avilable.: This command shows you the current working directory. The files in your Unix account are organized into directories and subdirectories. The root of this directory hierarchy is your main directory from which you start after you log in.
cd directory_name
This changes the current working directory to a directory or a subdirectory named directory_name.

cd ..
This makes you go up one level to the parent of the current working directory.

ls
This lists the contents (files and subdirectories) of the current directory.

ls -l
This lists the long form of the directory contents (including the file permissions).

mkdir directory_name
This creates a directry named directory_name as a subdirectory of the current working directory. For example, to create a directory for the course CSC200, you can type the command: mkdir csc200. Once created, you can navigate to this directory by using: cd csc200.

rm file_name
This command removes a file in the current directory called file_name.

rmdir directory_name
This command removes a whole directory or subdirectory named directory_name.

more file_name
This command allows you to view the contents of a file named file_name, one page at a time. If the file is more than one page (whatever fits in one screen), you can use the [space] key to move forward, and the [B] key to go backward.

cp file1_name file2_name
This command makes a copy of the file named file1_name and names the copy file2_name.

mv file1_name file2_name
This command moves the file named file1_name into another file named file2_name. The original file file1_name is removed. Essentially, the command is used to rename an existing file.

mv file_name directory_name
This command moves the file named file_name into an existing directory named directory_name.

chmod
This command allows you the change permissions on a file or a directory. Generally, when you create a new file or directory, only you have permission to read to modify (or execute in the case of a program) the file. To change the permission of a directory so that it can be viewed by others (for example in case of files that you want accessible via the Web), you can issue the followng command:
chmod 711 directory_name
To change the permissions for a specific file to make it readable by others, you can issue the command:
chmod 644 file_name
If you want to change the permissions for all files in a directory you can do so with the wildcard character "*". The first line below changes permissions for all html documents, the second line changes the permissions for all gif files:
chmod 644 *.html chmod 644 *.gif

quota -v
This command shows your space usage on your account and the amount of space that you have been allocated. Be careful when these numbers are close.

man command_name
If you are unsure about how to use a command you can refer to the man(ual) pages for that command. These manual pages describe the basic format for how to use the command, as well as various options avilable.: This changes the current working directory to a directory or a subdirectory named directory_name.
cd ..
This makes you go up one level to the parent of the current working directory.

ls
This lists the contents (files and subdirectories) of the current directory.

ls -l
This lists the long form of the directory contents (including the file permissions).

mkdir directory_name
This creates a directry named directory_name as a subdirectory of the current working directory. For example, to create a directory for the course CSC200, you can type the command: mkdir csc200. Once created, you can navigate to this directory by using: cd csc200.

rm file_name
This command removes a file in the current directory called file_name.

rmdir directory_name
This command removes a whole directory or subdirectory named directory_name.

more file_name
This command allows you to view the contents of a file named file_name, one page at a time. If the file is more than one page (whatever fits in one screen), you can use the [space] key to move forward, and the [B] key to go backward.

cp file1_name file2_name
This command makes a copy of the file named file1_name and names the copy file2_name.

mv file1_name file2_name
This command moves the file named file1_name into another file named file2_name. The original file file1_name is removed. Essentially, the command is used to rename an existing file.

mv file_name directory_name
This command moves the file named file_name into an existing directory named directory_name.

chmod
This command allows you the change permissions on a file or a directory. Generally, when you create a new file or directory, only you have permission to read to modify (or execute in the case of a program) the file. To change the permission of a directory so that it can be viewed by others (for example in case of files that you want accessible via the Web), you can issue the followng command:
chmod 711 directory_name
To change the permissions for a specific file to make it readable by others, you can issue the command:
chmod 644 file_name
If you want to change the permissions for all files in a directory you can do so with the wildcard character "*". The first line below changes permissions for all html documents, the second line changes the permissions for all gif files:
chmod 644 *.html chmod 644 *.gif

quota -v
This command shows your space usage on your account and the amount of space that you have been allocated. Be careful when these numbers are close.

man command_name
If you are unsure about how to use a command you can refer to the man(ual) pages for that command. These manual pages describe the basic format for how to use the command, as well as various options avilable.: This makes you go up one level to the parent of the current working directory.
ls
This lists the contents (files and subdirectories) of the current directory.

ls -l
This lists the long form of the directory contents (including the file permissions).

mkdir directory_name
This creates a directry named directory_name as a subdirectory of the current working directory. For example, to create a directory for the course CSC200, you can type the command: mkdir csc200. Once created, you can navigate to this directory by using: cd csc200.

rm file_name
This command removes a file in the current directory called file_name.

rmdir directory_name
This command removes a whole directory or subdirectory named directory_name.

more file_name
This command allows you to view the contents of a file named file_name, one page at a time. If the file is more than one page (whatever fits in one screen), you can use the [space] key to move forward, and the [B] key to go backward.

cp file1_name file2_name
This command makes a copy of the file named file1_name and names the copy file2_name.

mv file1_name file2_name
This command moves the file named file1_name into another file named file2_name. The original file file1_name is removed. Essentially, the command is used to rename an existing file.

mv file_name directory_name
This command moves the file named file_name into an existing directory named directory_name.

chmod
This command allows you the change permissions on a file or a directory. Generally, when you create a new file or directory, only you have permission to read to modify (or execute in the case of a program) the file. To change the permission of a directory so that it can be viewed by others (for example in case of files that you want accessible via the Web), you can issue the followng command:
chmod 711 directory_name
To change the permissions for a specific file to make it readable by others, you can issue the command:
chmod 644 file_name
If you want to change the permissions for all files in a directory you can do so with the wildcard character "*". The first line below changes permissions for all html documents, the second line changes the permissions for all gif files:
chmod 644 *.html chmod 644 *.gif

quota -v
This command shows your space usage on your account and the amount of space that you have been allocated. Be careful when these numbers are close.

man command_name
If you are unsure about how to use a command you can refer to the man(ual) pages for that command. These manual pages describe the basic format for how to use the command, as well as various options avilable.: This lists the contents (files and subdirectories) of the current directory.
ls -l
This lists the long form of the directory contents (including the file permissions).

mkdir directory_name
This creates a directry named directory_name as a subdirectory of the current working directory. For example, to create a directory for the course CSC200, you can type the command: mkdir csc200. Once created, you can navigate to this directory by using: cd csc200.

rm file_name
This command removes a file in the current directory called file_name.

rmdir directory_name
This command removes a whole directory or subdirectory named directory_name.

more file_name
This command allows you to view the contents of a file named file_name, one page at a time. If the file is more than one page (whatever fits in one screen), you can use the [space] key to move forward, and the [B] key to go backward.

cp file1_name file2_name
This command makes a copy of the file named file1_name and names the copy file2_name.

mv file1_name file2_name
This command moves the file named file1_name into another file named file2_name. The original file file1_name is removed. Essentially, the command is used to rename an existing file.

mv file_name directory_name
This command moves the file named file_name into an existing directory named directory_name.

chmod
This command allows you the change permissions on a file or a directory. Generally, when you create a new file or directory, only you have permission to read to modify (or execute in the case of a program) the file. To change the permission of a directory so that it can be viewed by others (for example in case of files that you want accessible via the Web), you can issue the followng command:
chmod 711 directory_name
To change the permissions for a specific file to make it readable by others, you can issue the command:
chmod 644 file_name
If you want to change the permissions for all files in a directory you can do so with the wildcard character "*". The first line below changes permissions for all html documents, the second line changes the permissions for all gif files:
chmod 644 *.html chmod 644 *.gif

quota -v
This command shows your space usage on your account and the amount of space that you have been allocated. Be careful when these numbers are close.

man command_name
If you are unsure about how to use a command you can refer to the man(ual) pages for that command. These manual pages describe the basic format for how to use the command, as well as various options avilable.: This lists the long form of the directory contents (including the file permissions).
mkdir directory_name
This creates a directry named directory_name as a subdirectory of the current working directory. For example, to create a directory for the course CSC200, you can type the command: mkdir csc200. Once created, you can navigate to this directory by using: cd csc200.

rm file_name
This command removes a file in the current directory called file_name.

rmdir directory_name
This command removes a whole directory or subdirectory named directory_name.

more file_name
This command allows you to view the contents of a file named file_name, one page at a time. If the file is more than one page (whatever fits in one screen), you can use the [space] key to move forward, and the [B] key to go backward.

cp file1_name file2_name
This command makes a copy of the file named file1_name and names the copy file2_name.

mv file1_name file2_name
This command moves the file named file1_name into another file named file2_name. The original file file1_name is removed. Essentially, the command is used to rename an existing file.

mv file_name directory_name
This command moves the file named file_name into an existing directory named directory_name.

chmod
This command allows you the change permissions on a file or a directory. Generally, when you create a new file or directory, only you have permission to read to modify (or execute in the case of a program) the file. To change the permission of a directory so that it can be viewed by others (for example in case of files that you want accessible via the Web), you can issue the followng command:
chmod 711 directory_name
To change the permissions for a specific file to make it readable by others, you can issue the command:
chmod 644 file_name
If you want to change the permissions for all files in a directory you can do so with the wildcard character "*". The first line below changes permissions for all html documents, the second line changes the permissions for all gif files:
chmod 644 *.html chmod 644 *.gif

quota -v
This command shows your space usage on your account and the amount of space that you have been allocated. Be careful when these numbers are close.

man command_name
If you are unsure about how to use a command you can refer to the man(ual) pages for that command. These manual pages describe the basic format for how to use the command, as well as various options avilable.: This creates a directry named directory_name as a subdirectory of the current working directory. For example, to create a directory for the course CSC200, you can type the command: mkdir csc200. Once created, you can navigate to this directory by using: cd csc200.
rm file_name
This command removes a file in the current directory called file_name.

rmdir directory_name
This command removes a whole directory or subdirectory named directory_name.

more file_name
This command allows you to view the contents of a file named file_name, one page at a time. If the file is more than one page (whatever fits in one screen), you can use the [space] key to move forward, and the [B] key to go backward.

cp file1_name file2_name
This command makes a copy of the file named file1_name and names the copy file2_name.

mv file1_name file2_name
This command moves the file named file1_name into another file named file2_name. The original file file1_name is removed. Essentially, the command is used to rename an existing file.

mv file_name directory_name
This command moves the file named file_name into an existing directory named directory_name.

chmod
This command allows you the change permissions on a file or a directory. Generally, when you create a new file or directory, only you have permission to read to modify (or execute in the case of a program) the file. To change the permission of a directory so that it can be viewed by others (for example in case of files that you want accessible via the Web), you can issue the followng command:
chmod 711 directory_name
To change the permissions for a specific file to make it readable by others, you can issue the command:
chmod 644 file_name
If you want to change the permissions for all files in a directory you can do so with the wildcard character "*". The first line below changes permissions for all html documents, the second line changes the permissions for all gif files:
chmod 644 *.html chmod 644 *.gif

quota -v
This command shows your space usage on your account and the amount of space that you have been allocated. Be careful when these numbers are close.

man command_name
If you are unsure about how to use a command you can refer to the man(ual) pages for that command. These manual pages describe the basic format for how to use the command, as well as various options avilable.: This command removes a file in the current directory called file_name.
rmdir directory_name
This command removes a whole directory or subdirectory named directory_name.

more file_name
This command allows you to view the contents of a file named file_name, one page at a time. If the file is more than one page (whatever fits in one screen), you can use the [space] key to move forward, and the [B] key to go backward.

cp file1_name file2_name
This command makes a copy of the file named file1_name and names the copy file2_name.

mv file1_name file2_name
This command moves the file named file1_name into another file named file2_name. The original file file1_name is removed. Essentially, the command is used to rename an existing file.

mv file_name directory_name
This command moves the file named file_name into an existing directory named directory_name.

chmod
This command allows you the change permissions on a file or a directory. Generally, when you create a new file or directory, only you have permission to read to modify (or execute in the case of a program) the file. To change the permission of a directory so that it can be viewed by others (for example in case of files that you want accessible via the Web), you can issue the followng command:
chmod 711 directory_name
To change the permissions for a specific file to make it readable by others, you can issue the command:
chmod 644 file_name
If you want to change the permissions for all files in a directory you can do so with the wildcard character "*". The first line below changes permissions for all html documents, the second line changes the permissions for all gif files:
chmod 644 *.html chmod 644 *.gif

quota -v
This command shows your space usage on your account and the amount of space that you have been allocated. Be careful when these numbers are close.

man command_name
If you are unsure about how to use a command you can refer to the man(ual) pages for that command. These manual pages describe the basic format for how to use the command, as well as various options avilable.: This command removes a whole directory or subdirectory named directory_name.
more file_name
This command allows you to view the contents of a file named file_name, one page at a time. If the file is more than one page (whatever fits in one screen), you can use the [space] key to move forward, and the [B] key to go backward.

cp file1_name file2_name
This command makes a copy of the file named file1_name and names the copy file2_name.

mv file1_name file2_name
This command moves the file named file1_name into another file named file2_name. The original file file1_name is removed. Essentially, the command is used to rename an existing file.

mv file_name directory_name
This command moves the file named file_name into an existing directory named directory_name.

chmod
This command allows you the change permissions on a file or a directory. Generally, when you create a new file or directory, only you have permission to read to modify (or execute in the case of a program) the file. To change the permission of a directory so that it can be viewed by others (for example in case of files that you want accessible via the Web), you can issue the followng command:
chmod 711 directory_name
To change the permissions for a specific file to make it readable by others, you can issue the command:
chmod 644 file_name
If you want to change the permissions for all files in a directory you can do so with the wildcard character "*". The first line below changes permissions for all html documents, the second line changes the permissions for all gif files:
chmod 644 *.html chmod 644 *.gif

quota -v
This command shows your space usage on your account and the amount of space that you have been allocated. Be careful when these numbers are close.

man command_name
If you are unsure about how to use a command you can refer to the man(ual) pages for that command. These manual pages describe the basic format for how to use the command, as well as various options avilable.: This command allows you to view the contents of a file named file_name, one page at a time. If the file is more than one page (whatever fits in one screen), you can use the [space] key to move forward, and the [B] key to go backward.
cp file1_name file2_name
This command makes a copy of the file named file1_name and names the copy file2_name.

mv file1_name file2_name
This command moves the file named file1_name into another file named file2_name. The original file file1_name is removed. Essentially, the command is used to rename an existing file.

mv file_name directory_name
This command moves the file named file_name into an existing directory named directory_name.

chmod
This command allows you the change permissions on a file or a directory. Generally, when you create a new file or directory, only you have permission to read to modify (or execute in the case of a program) the file. To change the permission of a directory so that it can be viewed by others (for example in case of files that you want accessible via the Web), you can issue the followng command:
chmod 711 directory_name
To change the permissions for a specific file to make it readable by others, you can issue the command:
chmod 644 file_name
If you want to change the permissions for all files in a directory you can do so with the wildcard character "*". The first line below changes permissions for all html documents, the second line changes the permissions for all gif files:
chmod 644 *.html chmod 644 *.gif

quota -v
This command shows your space usage on your account and the amount of space that you have been allocated. Be careful when these numbers are close.

man command_name
If you are unsure about how to use a command you can refer to the man(ual) pages for that command. These manual pages describe the basic format for how to use the command, as well as various options avilable.: This command makes a copy of the file named file1_name and names the copy file2_name.
mv file1_name file2_name
This command moves the file named file1_name into another file named file2_name. The original file file1_name is removed. Essentially, the command is used to rename an existing file.

mv file_name directory_name
This command moves the file named file_name into an existing directory named directory_name.

chmod
This command allows you the change permissions on a file or a directory. Generally, when you create a new file or directory, only you have permission to read to modify (or execute in the case of a program) the file. To change the permission of a directory so that it can be viewed by others (for example in case of files that you want accessible via the Web), you can issue the followng command:
chmod 711 directory_name
To change the permissions for a specific file to make it readable by others, you can issue the command:
chmod 644 file_name
If you want to change the permissions for all files in a directory you can do so with the wildcard character "*". The first line below changes permissions for all html documents, the second line changes the permissions for all gif files:
chmod 644 *.html chmod 644 *.gif

quota -v
This command shows your space usage on your account and the amount of space that you have been allocated. Be careful when these numbers are close.

man command_name
If you are unsure about how to use a command you can refer to the man(ual) pages for that command. These manual pages describe the basic format for how to use the command, as well as various options avilable.: This command moves the file named file1_name into another file named file2_name. The original file file1_name is removed. Essentially, the command is used to rename an existing file.
mv file_name directory_name
This command moves the file named file_name into an existing directory named directory_name.

chmod
This command allows you the change permissions on a file or a directory. Generally, when you create a new file or directory, only you have permission to read to modify (or execute in the case of a program) the file. To change the permission of a directory so that it can be viewed by others (for example in case of files that you want accessible via the Web), you can issue the followng command:
chmod 711 directory_name
To change the permissions for a specific file to make it readable by others, you can issue the command:
chmod 644 file_name
If you want to change the permissions for all files in a directory you can do so with the wildcard character "*". The first line below changes permissions for all html documents, the second line changes the permissions for all gif files:
chmod 644 *.html chmod 644 *.gif

quota -v
This command shows your space usage on your account and the amount of space that you have been allocated. Be careful when these numbers are close.

man command_name
If you are unsure about how to use a command you can refer to the man(ual) pages for that command. These manual pages describe the basic format for how to use the command, as well as various options avilable.: This command moves the file named file_name into an existing directory named directory_name.
chmod
This command allows you the change permissions on a file or a directory. Generally, when you create a new file or directory, only you have permission to read to modify (or execute in the case of a program) the file. To change the permission of a directory so that it can be viewed by others (for example in case of files that you want accessible via the Web), you can issue the followng command:
chmod 711 directory_name
To change the permissions for a specific file to make it readable by others, you can issue the command:
chmod 644 file_name
If you want to change the permissions for all files in a directory you can do so with the wildcard character "*". The first line below changes permissions for all html documents, the second line changes the permissions for all gif files:
chmod 644 *.html chmod 644 *.gif

quota -v
This command shows your space usage on your account and the amount of space that you have been allocated. Be careful when these numbers are close.

man command_name
If you are unsure about how to use a command you can refer to the man(ual) pages for that command. These manual pages describe the basic format for how to use the command, as well as various options avilable.: This command allows you the change permissions on a file or a directory. Generally, when you create a new file or directory, only you have permission to read to modify (or execute in the case of a program) the file. To change the permission of a directory so that it can be viewed by others (for example in case of files that you want accessible via the Web), you can issue the followng command:
chmod 711 directory_name
To change the permissions for a specific file to make it readable by others, you can issue the command:
chmod 644 file_name
If you want to change the permissions for all files in a directory you can do so with the wildcard character "*". The first line below changes permissions for all html documents, the second line changes the permissions for all gif files:
chmod 644 *.html chmod 644 *.gif
quota -v This command shows your space usage on your account and the amount of space that you have been allocated. Be careful when these numbers are close. man command_name If you are unsure about how to use a command you can refer to the man(ual) pages for that command. These manual pages describe the basic format for how to use the command, as well as various options avilable.: This command shows your space usage on your account and the amount of space that you have been allocated. Be careful when these numbers are close.
man command_name If you are unsure about how to use a command you can refer to the man(ual) pages for that command. These manual pages describe the basic format for how to use the command, as well as various options avilable.: If you are unsure about how to use a command you can refer to the man(ual) pages for that command. These manual pages describe the basic format for how to use the command, as well as various options avilable.