@malin @edsu On definitions with indented content I... | Brett Stauffer

Ed's posts Post Back to profile

@malin @edsu
On definitions with indented content I was getting formatting garbage displayed with mdcat, so I tried bat ( https://github.com/sharkdp/bat/ ) with plain style instead and got much better results:

~/home/ [0] % bat bin/dict
File: bin/dict
/usr/bin/zsh
echo def="$(curl -s dict://dict.org/define:$1: | grep -vP '“\d\d\d')";
if [ "$def" = "" ;
then
echo No definition;
else
echo "$def" | bat --style plain;
fi ~/home/
[0] % dict dictionary

Dictionary \Dic"tion*a*ry\, n.; pl. {Dictionaries}. [Cf. F. dictionnaire. See {Diction}.]

1. A book containing the words of a language, arranged alphabetically, with explanations of their meanings; a lexicon; a vocabulary; a wordbook.

[1913 Webster] I applied myself to the perusal of our writers; and noting whatever might be of use to ascertain or illustrate any word or phrase, accumulated in time the materials of a dictionary. —-Johnson. [1913 Webster]

2. Hence, a book containing the words belonging to any system or province of knowledge, arranged alphabetically; as, a dictionary of medicine or of botany; a biographical dictionary.

[1913 Webster] ~/home/ [0] & _

Like 11 Nov 2023 at 15:01 | Wall-to-wall | Open on mas.to

No comments