site-josuah

/usr/josuah
Log | Files | Refs

commit b579fd89e8ebcb1b0c116e74dbb56bf6bc110c0a
parent 4b374ddf2e25ad24a86c089c766ff1d1c4843a90
Author: Josuah Demangeon <me@josuah.net>
Date:   Sat, 18 Apr 2020 05:24:15 +0200

wiki/jj: set more spacing between headers

Diffstat:
Mwiki/jj/index.md | 4++++
1 file changed, 4 insertions(+), 0 deletions(-)

diff --git a/wiki/jj/index.md b/wiki/jj/index.md @@ -157,6 +157,7 @@ Making jj useable interactively Being log-based, wrappers tools are necessary for making jj useable as a main IRC client. + ### [[jj-in]] *similar to jji from the jj package* @@ -166,6 +167,7 @@ A better line-editing tool could be used, such as rlwrap around this. [jj-in]: /wiki/jj/jj-in + ### [[jj-log]] *similar to jjp in the jj package* @@ -175,6 +177,7 @@ Filter the log to add colors. One way to use it is: tail -f chan.log | jj-log [jj-log]: /wiki/jj/jj-log + ### [[retail]] *not in original jj package* @@ -184,6 +187,7 @@ beginning, with the same "==> filename <==" header. [retail]: /wiki/jj/retail + ### [[jj-tail]] *not in original jj package*