From b782565ec55b8a2f4b7e40ad0f03d841f0e09227 Mon Sep 17 00:00:00 2001
From: Philip Sargent <philip.sargent@klebos.com>
Date: Tue, 14 Jun 2022 09:42:51 +0300
Subject: [PATCH] Typos and more cross links in instructions

---
 handbook/computing/winlaptop.html  |  2 +-
 handbook/computing/yourlaptop.html | 18 +++++++++++++-----
 2 files changed, 14 insertions(+), 6 deletions(-)

diff --git a/handbook/computing/winlaptop.html b/handbook/computing/winlaptop.html
index 16382d995..2e6131cda 100644
--- a/handbook/computing/winlaptop.html
+++ b/handbook/computing/winlaptop.html
@@ -43,7 +43,7 @@
 <p>Some software, such as the commercial (but free) GitKraken, requires that you click a checkbox to say that you are "using local SSH agent" rather than specifying ssh private keys explicitly (File->Preferences->Authentication in GitKraken). 
 <p>Some software (such as Filezilla) defaults to using the local agent and it "just works".
 <p>Brendan wrote a guide to using putty and git for expo on a Windows machine. It's worth reading and it has lots of screenshots: <a href="/expofiles/documents/idiots-guide-expo-git.pdf">Idiots guide to accessing expo git.pdf</a>.
-<p>Read the online instructions abut using <a href="https://docs.microsoft.com/en-us/windows-server/administration/openssh/openssh_overview">OpenSSH in Windows</a> as an alternative. (Then write them up and edit this handbook to be more useful.)
+<p>Read the online instructions about using <a href="https://docs.microsoft.com/en-us/windows-server/administration/openssh/openssh_overview">OpenSSH in Windows</a> as an alternative. (Then write them up and edit this handbook to be more useful.)
 
 <h3 id="problems">Things that cause problems</h3>
 <h4>Filenames</h4>
diff --git a/handbook/computing/yourlaptop.html b/handbook/computing/yourlaptop.html
index 5cbd3b2c4..925d04427 100644
--- a/handbook/computing/yourlaptop.html
+++ b/handbook/computing/yourlaptop.html
@@ -120,16 +120,21 @@ but all the recommended software here is open source (and please don't install p
 <p></p>None of this works until you set up the key-pair setup using PuTty/Pageant.
 
 <ul>
-<li><a href="https://www.chiark.greenend.org.uk/~sgtatham/putty/latest.html">PuTTY</a> including pagent. Version 0.73 was released on 2019-09-29. You need this to generate and to use ssh keys on Windows. Otherwise none of git, scp, ftp or rsync will work. It includes command line tools ssh, scp (pscp) and sFTP (psftp).
+<li><a href="../putty/putty.html">PuTTY</a>.You need this to generate and to use ssh keys on Windows. Otherwise none of git, scp, ftp or rsync will work. It includes command line tools ssh, scp 
+(pscp) and sFTP (psftp). The <a href="https://www.chiark.greenend.org.uk/~sgtatham/putty/latest.html">PuTTY</a> installation includes puttygen and  pagent which you also need. Version 0.77 was released on 2022-05-27. 
   <li><a href="https://desktop.github.com/">GitHub Desktop for Windows</a> - yes this works with the expo server git even though we don't use GitHub itself.
-	<li><a href="https://code.visualstudio.com/">VS Code</a> is a free (but not FOSS) editor with in-built git capability and plug-ins which render git branches graphically. Also available for Linux.
+	<li><a href="https://code.visualstudio.com/">VS Code</a> is a free (but not FOSS) editor with in-built git capability and plug-ins ("Git History", 
+"GitLens")which render git branches graphically. Also available for Linux.
    <li><a href="https://gitforwindows.org/">Git for Windows</a> - not as simple to use as it looks
    <li><a href="https://www.gitkraken.com/">GitKraken</a> - Very pretty GUI interface to git, also Linux version. 
     Times-out for our server unless you buy it but free for university people.
 <li><a href="https://winscp.net/eng/download.php">WinScp</a> can be used as an alternative to Filezilla if you like (like Filezilla, it uses PuTTY ssh keys)
-<li><a href="https://docs.microsoft.com/en-us/windows-server/administration/openssh/openssh_overview">OpenSSH for Windows</a> is new since 2018. It is a set of command line tools which are an alternative to PuTTY. It also includes scp and sftp. It integrates well with Github for Windows and enables you to use rsync over ssh.
+<li><a href="https://docs.microsoft.com/en-us/windows-server/administration/openssh/openssh_overview">OpenSSH for Windows</a> is new since 2018. It is a 
+set of command line tools which are an alternative to PuTTY. It also includes scp and sftp. It integrates well with Github for Windows and enables you to 
+use rsync over ssh.
 <li><a href="https://www.java.com/en/">java</a> - needed for GPSprune and CaveConverter. Has to be installed separately on a Windows machine.
-<li><a href="https://notepad-plus-plus.org/">Notepad++</a> or any other syntax-highlighting code editor for HTML and python. We have a syntax-highlighter to colourize .svx files, download it: <a href="/site_media/survex.xml">survex.xml</a>.
+<li><a href="https://notepad-plus-plus.org/">Notepad++</a> or any other syntax-highlighting code editor for HTML and python. We have a syntax-highlighter 
+to colourize .svx files, download it: <a href="/site_media/survex.xml">survex.xml</a>.
 
       </ul>
 
@@ -142,7 +147,7 @@ but all the recommended software here is open source (and please don't install p
 	  a Windows app but it communicates directly ("remotely") with the WSL Linux environment.
 	  <p>You will definitely want the 
 	  <a href="https://marketplace.visualstudio.com/items?itemName=donjayamanne.githistory">"Git History" extension</a>
-	  and probably the "Git Lens" extension too.
+	  and probably the "GitLens" extension too.
 
 
 
@@ -151,6 +156,9 @@ but all the recommended software here is open source (and please don't install p
 <p>You will already have configured your machine as a 'basic laptop'.
 If you have not yet done this, <a href="basiclaptop.html#configuration">do that now</a>, before continuing with these instructions.
 
+<p>If you are using a Windows machine, go and skim read the  <a href="winlaptop.html">Windows advanced configuration</a> section before you actually start 
+any of this simpler stuff.
+
 <p><a href="../../documents/Idiots guide to accessing expo git.pdf">Idiots guide to setting up git for expo</a> 
   - PDF - Brendan's guide. Uses PuTTy and GitKraken.