rendered paste body#!/bin/bash
b=$(fluxbox -v | awk '{split($2, a, "-"); print a[1]}')
fluxbox-generate_menu -b opera -m "fluxbox $b"
a=$(grep -A 2 -n Terminals ~/.fluxbox/menu | cut -b -2 | head -1)
c=$(grep -A 2 -n Terminals ~/.fluxbox/menu | cut -b -2 | tail -1)
sed -e "$a,${c}d" ~/.fluxbox/menu > ~/.fluxbox/menu2
d=$(grep -A 2 -n "System Tools" ~/.fluxbox/menu2 | cut -b -2 | head -1)
e=$(grep -A 2 -n "System Tools" ~/.fluxbox/menu2 | cut -b -2 | tail -1)
sed -e "$d,${e}d" ~/.fluxbox/menu2 > ~/.fluxbox/menu
rm -f ~/.fluxbox/menu2