shell_label shell_id shell_id_HREF bash bash-0a646823 ../shell-id/bash-0a646823/ dash dash-308ec8e6 ../shell-id/dash-308ec8e6/ python2 python2-b1696378 ../shell-id/python2-b1696378/ opt/osh _bin/cxx-opt/osh-b482990c ../shell-id/_bin/cxx-opt/osh-b482990c/ bumpleak/osh _bin/cxx-opt+bumpleak/osh-b482990c ../shell-id/_bin/cxx-opt+bumpleak/osh-b482990c/