er:
<code>
$ ssh -L 5555:postgres:5432 -p 443 username@mote.cs.vassar.edu
</code>
\\ where ''username'' is the name of your CS account.
Then from a second local terminal window access our postgres server... d line:
<code>
$ psql -h localhost -p 5555 -U username -d dbname
</code>
\\ where ''username'' is (again
er:
<code>
$ ssh -L 5555:postgres:5432 -p 443 username@mote.cs.vassar.edu
</code>
\\ where ''username'' is the name of your CS account.
Then from a second local terminal window access our postgres server... d line:
<code>
$ psql -h localhost -p 5555 -U username -d dbname
</code>
\\ where ''username'' is (again
m one lab linux box to another:
- find out the name of the machine you want to get to
- is it wr... er)
- enter the command ''ssh'' followed by the name of the machine you want to get to.
- if it offe... chine for a class, you should have been given the name of the machine you are to access. If you don't h... ructor.
The first step if of course, knowing the name of the machine you are trying to access. If you
.comment { font-style: italic; color: #c0342d; }
.name, .variable, code var, pre var { color: #9e5cb1; }
.name { font-weight: bold; }
.variable, pre var, code v... es">Guidelines</h2>
<ul>
<li><p>Do not change the name of the file or the functions.</p></li>
<li><p>Rem... l%29"><code>string-split-all</code></a> function. Name the resulting list of words <code>split-text</cod
===
* a //file// is a collection of data with a name (a //filename// to be precise). Although it may be stored in separate chunks in different location on ... olute// and are often used as the prefix to a filename. For example, if I want to list the contents of a... dicates the home directory of bob.
* **//rm filename//** : removes the file filename where filesname m
ctive terminal):
<code>
$ psql -h postgres -U username -d dbname
</code>
\\ where ''username'' is name of your CS account and ''dbname'' is the name of your database.
You will be prompted to ente
to "jump" through the remote bastion server, hostname=mote. Logically, what you are trying to achieve i... ly SSH 2x.
(your device)$ ssh -p 443 username@mote.cs.vassar.edu
(mote)$ ssh workstatio... config with the
following information where "username" is the name you enter to login to your Computer Science Department computer account, which is typicall
o be moved, shared or given to anyone, whence its name "private".
After you click [Generate] you will b... folder called “PuttyKeys” or whatever you want to name it or simply save it to a location you will not f... ount as
~/.ssh/authorized_keys
or
/home/your_username/.ssh/authorized_keys
where the symbol “~” represents a shortcut for “/home/your_username”. If the hidden .ssh sub-directory does not exist
the fix is to explicitly tell the server its hostname or IP address. This is accomplished by adding ``-Djava.rmi.server.hostname=[IP or Name of HOST]`` to the java command when starting the server, so for a server named ``hopper`` w... u can do either:
<code>java -Djava.rmi.server.hostname=hopper hellormi.HelloServer</code>
or
" as arguments and assigns the fields of the same name to them. We didn't cover the **this** keyword, bu... e same signature as Function's method of the same name but return the image of the argument x according... e same signature as Function's method of the same name but return the value of x at which the function i... e same signature as Function's method of the same name but return a String representation of the linear
rtain you are going to the fully qualified domain name, where "my_server" is the short hostname and, for the Computer Science Department here at Vassar College, the fully qualified domain name is "my_server.cs.vassar.edu". If you are in doubt... rther and perform an "nslookup" on both the short name and the fully qualified domain name and see that
====== Printing Tips ======
===== Printer Name Changes and your .bashrc =====
If you are having problems... use your .bashrc is not using the correct printer name.
Have a look at your .bashrc file. Near the top ... aved into /usr/local/Virtual_Printer/YOUR_ACCOUNT_NAME/. The file name will //eventually// be the title or name of the file being printed prepended with an un
.comment { font-style: italic; color: #c0342d; }
.name, .variable, code var, pre var { color: #9e5cb1; }
.name { font-weight: bold; }
.variable, pre var, code v... t.org">Pyret</a>.</p></li>
<li><p>Do not put your name in your assignment; we want to grade anonymously.... ode><span class="keyword">fun</span> <span class="name">within-5</span>(age :: Number) -> Boolean:
llowing to connect, replacing USER with your user name. Your user name is likely the first two letters of your first name and your whole last name, all in lower case:\\ ''ssh USER@mote.cs.vassar.edu -p 443''\\ It may take a
nu item to give your lab1-template.scm file a new name that includes your last name
* Important note! do not keep 'template' as part of the file name.
* {{ :courses:cs145-201951:asmt-helper.scm |as... [z (cons "Edgar" y)])
z)
(tester '(let* ([name (list "Burroughs")]
[name (cons "Rice" n