shell_label shell_id shell_id_HREF bash bash-cd902d76 ../shell-id/bash-cd902d76/ dash dash-308ec8e6 ../shell-id/dash-308ec8e6/ python2 python2-5042724e ../shell-id/python2-5042724e/ opt/osh _bin/cxx-opt/osh-75e1121f ../shell-id/_bin/cxx-opt/osh-75e1121f/ bumpleak/osh _bin/cxx-opt+bumpleak/osh-75e1121f ../shell-id/_bin/cxx-opt+bumpleak/osh-75e1121f/