shell_label shell_id shell_id_HREF bash bash-c3c28207 ../shell-id/bash-c3c28207/ dash dash-308ec8e6 ../shell-id/dash-308ec8e6/ python2 python2-cca16924 ../shell-id/python2-cca16924/ opt/osh _bin/cxx-opt/osh-e2080d3e ../shell-id/_bin/cxx-opt/osh-e2080d3e/ bumpleak/osh _bin/cxx-opt+bumpleak/osh-e2080d3e ../shell-id/_bin/cxx-opt+bumpleak/osh-e2080d3e/