add myself to mount-robot

diff --git a/devel-utils/mount-robot b/devel-utils/mount-robot
index 9c0a15052eac261938fdca8e1c07fa6c130f2125..fad80655ee05d3fc500c580c0f774d456262fe84 100755 (executable)
--- a/devel-utils/mount-robot
+++ b/devel-utils/mount-robot
@@ -5,6 +5,9 @@ myip=$(ip a|grep -o 'inet 10\.1\.1\.[0-9]\+'|cut -d ' ' -f 2)
 if [ $USER = "zandar" ]; then
        mypath=/home/zandar/EUROBOT/eurobot/build/ppc/_compiled
        mount_point=/home/michalv
+elif [ $USER = "filip" ]; then
+       mypath=/home/filip/fel/eb/build/ppc/_compiled
+       mount_point=/home/filip
 else
        echo "Error: Unknown user $USER" >&2
        exit 1