Ubuntu Pastebin

Paste from sufaf at Sat, 14 May 2016 07:16:07 +0000

1
2
3

set timeout_style=menu
if [ "${timeout}" = 0 ]; then
  set timeout=10