Thank you very much. 
Much better than chmoding /opt to 777..
-- 
View this message in context: http://ros-users.122217.n3.nabble.com/OSError-Errno-13-Permission-denied-tp1459557p1459588.html
Sent from the ROS-Users mailing list archive at Nabble.com.