projects
/
xremote.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
8af6bb2
)
OCD update.
author
Francois Fleuret
<francois.fleuret@idiap.ch>
Thu, 22 Nov 2018 21:35:11 +0000
(22:35 +0100)
committer
Francois Fleuret
<francois.fleuret@idiap.ch>
Thu, 22 Nov 2018 21:35:11 +0000
(22:35 +0100)
README.md
patch
|
blob
|
history
diff --git
a/README.md
b/README.md
index
f9a9ec2
..
6480805
100644
(file)
--- 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.
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 run
s
everything in it.
everything in it.
-I use it mostly to launch heavy training with
pyt
orch on a PC at home.
+I use it mostly to launch heavy training with
PyT
orch on a PC at home.
# Example #
# 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,
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.
6. get back all the files with a .txt extension,
7. delete the working directory on the remote side.