From: Francois Fleuret <francois.fleuret@idiap.ch>
Date: Thu, 22 Nov 2018 21:35:11 +0000 (+0100)
Subject: OCD update.
X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;h=cde9e336b76f51d14a8765c9ffd1ac57dd7a6a72;p=xremote.git

OCD update.
---

diff --git a/README.md b/README.md
index f9a9ec2..6480805 100644
--- a/README.md
+++ b/README.md
@@ -5,10 +5,10 @@ This is a very simple bash script to run scripts on a remote machine
 accessible by ssh, send required files, and get back result files
 transparently.
 
-It creates a temporary files in /tmp/ on the remote host and run
+It creates a temporary files in /tmp/ on the remote host and runs
 everything in it.
 
-I use it mostly to launch heavy training with pytorch on a PC at home.
+I use it mostly to launch heavy training with PyTorch on a PC at home.
 
 # Example #
 
@@ -43,6 +43,6 @@ file.close()
  2. copy there the file example.py,
  3. copy there files from the local dir with the .py extension,
  4. list all files on the remote side into the file files.txt,
- 5. execute example.py on the remote side,
+ 5. execute example.py on the remote side with python3,
  6. get back all the files with a .txt extension,
  7. delete the working directory on the remote side.