Sorry
mate, but they could just type alias
pico='pico', and they would be rid of your hard
security.
By the way,
chmod'ing the ~/
.profile is kind of
weird.
In addition, why didn't you put it in /etc/profile? It would have a remarkably similar effect.