а какие сейчас альтернативы для gmrun существуют? gmrun - это ланчер на gtk2, те же хот-кеи, что в шел. нужно, чтобы искал по бинарникам, а не как гномовское говно по 5 металокейшенам внутри *desktop файлов.