Thanks.
Still the same issue, I'm afraid. Just in case I did something dumb, here's what I did.
My username wasn't a member of group 'users', so I added it.
Then I ran the two commands you suggested.
The file permissions that resulted in are:
Quote:
drwxr-xr-x 6 root users 4096 2011-06-09 11:37 sigil
-rwxr-xr-x 1 root users 585 2011-01-12 12:15 sigil.sh
|
Martin