userspace:putty062
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| userspace:putty062 [2013/02/14 13:32] – bobzbobz | userspace:putty062 [2021/08/23 10:37] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 6: | Line 6: | ||
| PuTTY normally saves its sessions to the Registry, but there are too many registry keys to create them directly in the script. | PuTTY normally saves its sessions to the Registry, but there are too many registry keys to create them directly in the script. | ||
| - | I have therefor | + | I have therefore |
| You need to add some product properties to the control-file, | You need to add some product properties to the control-file, | ||
| Line 40: | Line 40: | ||
| </ | </ | ||
| - | //You should rename the " | + | //You should rename the " |
| ==== Control file ==== | ==== Control file ==== | ||
userspace/putty062.1360845156.txt.gz · Last modified: (external edit)
