--- /etc/profile~ 2003-09-02 11:14:35.695367000 +0200 +++ /etc/profile 2004-05-03 10:08:17.905875000 +0200 @@ -47,7 +47,7 @@ # Run all of the profile.d scripts # Note that these are supplied by separate packages -/bin/find /etc/profile.d -iname '*.sh' -type f | while read f; do +for f in `/bin/find /etc/profile.d -iname '*.sh' -type f`; do if [ -f "$f" ]; then . "$f" fi