Functions
def	add_arguments (parser)

def	main (args)

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

◆ add_arguments()

def fetch_tools.commands.push.add_arguments ( parser )

Definition at line 62 of file push.py.

◆ main()

def fetch_tools.commands.push.main ( args )

Definition at line 19 of file push.py.

Variable Documentation

◆ help_text

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

Definition at line 16 of file push.py.

◆ name

string fetch_tools.commands.push.name = "push"

Definition at line 15 of file push.py.

Functions