Comment 1 for bug 186207

Revision history for this message
Bernadette (bpr) wrote :

Replace
if [ ! "$UID" = 0 ]; then

by

if [ ! "$(id -ru )" = 0 ]; then

the first syntax seems to be a "bashism" not compatible with unbuntu

https://wiki.ubuntu.com/DashAsBinSh

It has been corrected in the svn version
http://sourcesup.cru.fr/projects/wimsdev

Bernadette