git://git.onelab.eu
/
nepi.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Changing ResourceManager naming for platform::ResourceName
[nepi.git]
/
doc
/
user_manual
/
faq.tex
diff --git
a/doc/user_manual/faq.tex
b/doc/user_manual/faq.tex
index
38cd6ce
..
5b345ed
100644
(file)
--- a/
doc/user_manual/faq.tex
+++ b/
doc/user_manual/faq.tex
@@
-107,12
+107,12
@@
hostname = # Host that can be accessed with an SSH account
username = # SSH user account on host
ssh_key = # Path to SSH public key file to access host
username = # SSH user account on host
ssh_key = # Path to SSH public key file to access host
-node = ec.register_resource("
Linux
Node")
+node = ec.register_resource("
linux::
Node")
ec.set(node, "hostname", hostname)
ec.set(node, "username", username)
ec.set(node, "identity", ssh_key)
ec.set(node, "hostname", hostname)
ec.set(node, "username", username)
ec.set(node, "identity", ssh_key)
-app = ec.register_resource("
Linux
Application")
+app = ec.register_resource("
linux::
Application")
ec.set(app, "command", "ping -c3 nepi.inria.fr")
ec.register_connection(app, node)
ec.set(app, "command", "ping -c3 nepi.inria.fr")
ec.register_connection(app, node)