dotties

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs

dugrep (485B)

      1 #!/bin/sh
      2 
      3 # Find all files with the .$1 extention, lets you choose one, then exec with $2.
      4 
      5 # theme="-theme sidebar"
      6 theme=""
      7 
      8 _filter_files() {
      9     for ext in $(echo $1 | tr "," "\n"); do
     10         du -a $HOME --exclude=".*" | cut -f2 | grep "\.$ext$"
     11     done
     12 }
     13 
     14 file=`_filter_files "$1" | sort | rofi -width 75% -dmenu -i $theme -p :`
     15 
     16 [ "$file" = "" ] && exit
     17 
     18 [ "$2" = "$EDITOR" ] && [ "$3" = "-" ] && $TERMINAL -e "$EDITOR \"$file\"" && exit
     19 
     20 "$2" "$file"
     21 
     22 #xargs -r -d "\n" "$2"