help: RIPng timer values

delete: touch /tmp/ripng-timers.$PPID

end: vtysh -c "configure terminal" \
       -c "router ripng"                                       \
       -c "no timers basic";                                   \
     if [ -f "/tmp/ripng-timers.$PPID" ]; then
        rm -rf /tmp/ripng-timers.$PPID;
     else
        vtysh -c "configure terminal" \
          -c "router ripng"                                       \
          -c "timers basic $VAR(./update/@)                       \
                           $VAR(./timeout/@)                      \
                           $VAR(./garbage-collection/@)"
     fi;
