fetch_tools::commands::push Namespace Reference

Functions
def	add_arguments
def	main
Variables
string	help_text = "Push the workspace to the robot"
string	name = "push"

---

Detailed Description

The push command pushes the local workspace to the
remote workspace, making it identical to the current workspace.

Copyright 2015 Fetch Robotics Inc.
Author: Alex Henning

---

Function Documentation

def fetch_tools.commands.push.add_arguments

(

parser

)

Definition at line 62 of file push.py.

def fetch_tools.commands.push.main

(

args

)

Definition at line 19 of file push.py.

---

Variable Documentation

string fetch_tools::commands::push::help_text = "Push the workspace to the robot"

Definition at line 16 of file push.py.

string fetch_tools::commands::push::name = "push"

Definition at line 15 of file push.py.