[Rock-dev] [rock] #178: rock can not be installed in folders those paths contain blanks

[rock]

#178: rock can not be installed in folders those paths contain blanks
-----------------------+-----------------------------------
 Reporter:  anonymous  |      Owner:  rock-dev-mailing-list
     Type:  defect     |     Status:  new
 Priority:  normal     |  Milestone:
Component:  base       |   Keywords:
-----------------------+-----------------------------------
 At the moment it is not possible to install rock insight a folder those
 paths contain blanks.

 One error source is env.sh (all blanks are not masked with "\ ")

-- 
Ticket URL: <http://rock.opendfki.de/ticket/178>
rock <http://rock.opendfki.de>
rock: the robot construction kit