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
 
-node = ec.register_resource("LinuxNode")
+node = ec.register_resource("linux::Node")
 ec.set(node, "hostname", hostname)
 ec.set(node, "username", username)
 ec.set(node, "identity", ssh_key)
 
-app = ec.register_resource("LinuxApplication")
+app = ec.register_resource("linux::Application")
 ec.set(app, "command", "ping -c3 nepi.inria.fr")
 ec.register_connection(app, node)