/lib/rpm
This explorer reads the filesystem of the server it runs on, so /workspace/user isn't present here. Browsing and the terminal still work against this server's own disk from /.
#!/bin/sh tmpfile=`/bin/mktemp /var/log/rpmpkgs.XXXXXXXXX` || exit 1/bin/rpm -qa --qf '%{name}-%{version}-%{release}.%{arch}.rpm\n' 2>&1 \ | /bin/sort > "$tmpfile" if [ ! -s "$tmpfile" ]; then rm -f "$tmpfile" exit 1fi /bin/mv "$tmpfile" /var/log/rpmpkgs/bin/chmod 0644 /var/log/rpmpkgs