shell_label shell_id shell_id_HREF bash bash-41208ffc ../shell-id/bash-41208ffc/ dash dash-308ec8e6 ../shell-id/dash-308ec8e6/ python2 python2-9d33ff1f ../shell-id/python2-9d33ff1f/ opt/osh _bin/cxx-opt/osh-f5f30a48 ../shell-id/_bin/cxx-opt/osh-f5f30a48/ bumpleak/osh _bin/cxx-opt+bumpleak/osh-f5f30a48 ../shell-id/_bin/cxx-opt+bumpleak/osh-f5f30a48/