# -*- shell-script -*- # "show style" debugger command # # Copyright (C) 2016 Rocky Bernstein # # This program is free software; you can redistribute it and/or # modify it under the terms of the GNU General Public License as # published by the Free Software Foundation; either version 2, or # (at your option) any later version. # # This program is distributed in the hope that it will be useful, but WITHOUT ANY # WARRANTY; without even the implied warranty of MERCHANTABILITY or # FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License # for more details. # # You should have received a copy of the GNU General Public License # along with this program; see the file COPYING. If not, write to # the Free Software Foundation, 59 Temple Place, Suite 330, Boston, # MA 02111 USA. # If run standalone, pull in other files we need if [[ $0 == ${BASH_SOURCE[0]} ]] ; then dirname=${BASH_SOURCE[0]%/*} [[ $dirname == $0 ]] && top_dir='../..' || top_dir=${dirname}/../.. [[ -z $_Dbg_libdir ]] && _Dbg_libdir=$top_dir for file in help alias ; do source $top_dir/lib/${file}.sh; done fi _Dbg_help_add_sub show style \ "Show pygments terminal formatting style" 1 _Dbg_do_show_style() { typeset label="$1" [[ -n $label ]] && label='style: ' _Dbg_msg_nocr \ "${label}Pygments terminal formatting style is " if [[ -n $_Dbg_set_style ]] ; then _Dbg_msg "${_Dbg_set_style}." else _Dbg_msg 'off.' fi return 0 }