41 lines
1 KiB
PHP
41 lines
1 KiB
PHP
|
#####
|
||
|
|
#
|
||
|
|
# common constants
|
||
|
|
#
|
||
|
|
# $Id:
|
||
|
|
#####
|
||
|
|
|
||
|
|
|
||
|
|
# VT100 colors
|
||
|
|
declare -r BLACK=$'\e[1;30m'
|
||
|
|
declare -r DK_GRAY=$'\e[0;30m'
|
||
|
|
|
||
|
|
declare -r RED=$'\e[31m'
|
||
|
|
declare -r GREEN=$'\e[32m'
|
||
|
|
declare -r YELLOW=$'\e[33m'
|
||
|
|
declare -r BLUE=$'\e[34m'
|
||
|
|
declare -r MAGENTA=$'\e[35m'
|
||
|
|
declare -r CYAN=$'\e[36m'
|
||
|
|
declare -r WHITE=$'\e[37m'
|
||
|
|
|
||
|
|
declare -r OFF=$'\e[0m'
|
||
|
|
declare -r BOLD=$'\e[1m'
|
||
|
|
declare -r REVERSE=$'\e[7m'
|
||
|
|
declare -r HIDDEN=$'\e[8m'
|
||
|
|
|
||
|
|
declare -r tab_=$'\t'
|
||
|
|
declare -r nl_=$'\n'
|
||
|
|
|
||
|
|
declare -r DD_BORDER="${BOLD}==============================================================================${OFF}"
|
||
|
|
declare -r SD_BORDER="${BOLD}------------------------------------------------------------------------------${OFF}"
|
||
|
|
declare -r STAR_BORDER="${BOLD}******************************************************************************${OFF}"
|
||
|
|
|
||
|
|
# bold yellow > < pair
|
||
|
|
declare -r R_arrow=$'\e[1;33m>\e[0m'
|
||
|
|
declare -r L_arrow=$'\e[1;33m<\e[0m'
|
||
|
|
|
||
|
|
HEADER="# This file is automatically generated by jhalfs
|
||
|
|
# DO NOT EDIT THIS FILE MANUALLY
|
||
|
|
#
|
||
|
|
# Generated on `date \"+%F %X %Z\"`"
|