The proxy server gives accounts on the StuyCS network access to the internet. But you must set your account to know where to find our proxy server.
Close all browsers.
Set the addressing information for your account:
Check your work by starting a new browser window and browsing to these notes, via the "Ubuntu setup and rescue" link near the top of the class home page.
FireFox is already running, but is not responding. To open a new window, you must first close the existing FireFox process, or restart your system.
This solution has a side effect of losing all bookmarks / preferences:
rm -rf ~/.mozilla
Chromium exhibits a similar problem, but its error message identifies the file to be deleted.
The problem is apparently in one of the config files. So these instructions move all config files to a backup directory. After that, logging out and in again will cause Ubuntu to re-create the corrupted file. After that, one can recover any other config files from the backup directory
Start a terminal session whose working directory is the home directory.
mkdir oldConfig to make the backup directory
mv .* oldConfig/ to move the config files
Expect two error messages, for failure to move . and ..
ctrl+alt+del gives a log-out option
If you have set your password for logging onto the machines in the computer science labs, but you need it reset, follow these instructions. These instructions apply only to that issue.
These instructions do NOT apply to…
@stuy.eduemail. For help with that, search the school web site for "password".
To reset your password for logging onto the machines in the computer science labs:
If the Comp Stuy Dojo has started operation for the year, visit the Dojo. This generally happens by October 1.
Otherwise (that is, if the CS Dojo has yet to open), make an appointment to meet with me, in room 301, at a time that is convenient for both of us.
As of 2019-03-01, the failure happens reliably on a few computers in room 307, including
dholmes@cslab1-1:~$ ssh bert.stuy.edu ssh: Could not resolve hostname bert.stuy.edu: Name or service not known
ssh to a machine that works, and do your ssh work from there.
You can address such a machine using a local url, like
homer.local, as in the following example,
in which the commands I typed are shown
dholmes@cslab1-1:~$ ssh homer.local The authenticity of host 'homer.local (18.104.22.168)' can't be established. ECDSA key fingerprint is SHA256:DB9F7ozGVzJHPo2CVXYsKaBfrXbFc+48tBMpqggXBvY. Are you sure you want to continue connecting (yes/no)? yes Warning: Permanently added 'homer.local' (ECDSA) to the list of known hosts. email@example.com's password: Welcome to Ubuntu 18.04.2 LTS (GNU/Linux 4.15.0-45-generic x86_64) ... dholmes@homer:~$ ssh bert.stuy.edu firstname.lastname@example.org's password:
Here is a longer log, showing an attempt to clone a repo from GitHub. Since our git commands use ssh, the same problem and workaround apply. This log shows a failed attempt to clone when logged into cslab1-1 (the pc in room 307 that is nearest the teacher's desk), but success when ssh'ing to homer.local first:
dholmes@cslab1-1:~/temp$ git clone email@example.com:stuyvesant-cs/skeletonsHolmes.git Cloning into 'skeletonsHolmes'... ssh: Could not resolve hostname github.com: Name or service not known fatal: Could not read from remote repository. Please make sure you have the correct access rights and the repository exists. dholmes@cslab1-1:~/temp$ ssh homer.local firstname.lastname@example.org's password: Welcome to Ubuntu 18.04.2 LTS (GNU/Linux 4.15.0-45-generic x86_64) ... dholmes@homer:~$ cd temp/ dholmes@homer:~/temp$ git clone email@example.com:stuyvesant-cs/skeletonsHolmes.git Cloning into 'skeletonsHolmes'... ... remote: Enumerating objects: 18, done.