dmenu_dt


1
2
3
4
5
6
7
8
9
10
11
12

#!/bin/bash

DIR1=~/.local/share/applications
DIR2=/usr/share/applications

RES=`ls $DIR1 $DIR2 | sed 's/.desktop$//g' | dmenu -i`

gio launch $DIR1/$RES.desktop &> /dev/null

if [[ $? != 0 ]]; then
  gio launch $DIR2/$RES.desktop
fi