other:putty_conf
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
other:putty_conf [2022/08/01 16:57] – [Installation] Improved jypeter | other:putty_conf [2022/08/02 14:33] – [Configuring PuTTY] jypeter | ||
---|---|---|---|
Line 11: | Line 11: | ||
===== Launching PuTTY/ | ===== Launching PuTTY/ | ||
- | You could directly launch PuTTY, but it is actually more efficient to launch '' | + | You could directly launch PuTTY ('' |
'' | '' | ||
- | * It will seem that nothing happens, but you should get the //Pageant// icon at the bottom right of your screen.\\ {{ : | + | * It will seem that nothing happens, but you should get the //Pageant// icon at the bottom right of your screen.\\ {{ : |
- | * If you right click on the //Pageant// icon, you can manage sessions with the '' | + | * If you right click on the //Pageant// icon, you can manage sessions with the '' |
===== Configuring PuTTY ===== | ===== Configuring PuTTY ===== | ||
- | Launch the session/ | + | Launch the PuTTY Configuration |
- | * You can keep most PuTTY' | + | * You can keep most PuTTY' |
- | * When changing a setting, select a (sub-)**Category in the left part** of the PuTTY Configuration | + | * When changing a setting, select a (sub-)**Category in the left part** of the PuTTY Configuration |
- | * After changing the settings of an existing Session, **do not forget to go back to the //Session// category and click '' | + | * After changing the settings of an existing Session, **do not forget to go back to the //Session// category |
==== Creating a new session ==== | ==== Creating a new session ==== | ||
- | In the '' | + | In the '' |
* Specify a **Host Name**: e.g. '' | * Specify a **Host Name**: e.g. '' | ||
* Specify a matching session name in **Saved Sessions**: e.g. '' | * Specify a matching session name in **Saved Sessions**: e.g. '' | ||
- | * Click on **Save** to save the session\\ {{ : | + | * Click on **Save** to save the new session |
- | + | ||
- | If you are in a hurry, you can connect to the Linux server by clicking on **Open**, but you should first change some useful settings | + | |
+ | If you are in a hurry, you can connect to the Linux server specified in the //Host Name// field by clicking on **Open** | ||
==== Changing some useful settings ==== | ==== Changing some useful settings ==== | ||
other/putty_conf.txt · Last modified: 2024/05/29 17:43 by jypeter