9 lines
185 B
Bash
9 lines
185 B
Bash
pager_or_cat_init() {
|
|
# Pipe to pager only if stdout is a terminal, otherwise output directly
|
|
if [ -t 1 ]; then
|
|
PAGER_OR_CAT="${PAGER:-less}"
|
|
else
|
|
PAGER_OR_CAT=cat
|
|
fi
|
|
}
|