_defconfig() { local cfg=.config if [ -f $cfg -a -r $cfg ] then local _defconfig="$(basename "$(grep BR2_DEFCONFIG $cfg | tr -d '"')" | sed 's/_defconfig//')" fi [ -z "${_defconfig}" ] && return echo "« ${_defconfig} »" } PS1_TASKBAR+=( _defconfig )