PS1_TASKBAR+=(__debian_dist)