https://tylercipriani.com/blog/2016/01/19/Command-Timing-Bash-Prompt/ Copyright © 2017 Tyler Cipriani Tyler Cipriani ikiwiki Wed, 13 Jun 2018 19:34:11 +0000 https://tylercipriani.com/blog/2016/01/19/Command-Timing-Bash-Prompt/comment_1_abc32a353638841442a8d32ac734a812/ https://tylercipriani.com/blog/2016/01/19/Command-Timing-Bash-Prompt/#comment-d5c38a2e8c0777c6f65c9d5414d03e66 bbearnes Tue, 20 Sep 2016 05:19:07 +0000 2018-06-13T19:34:11Z It looks like there’re code formatting issues in this post - HTML getting escaped where it shouldn’t? https://tylercipriani.com/blog/2016/01/19/Command-Timing-Bash-Prompt/comment_2_0173b8da766bfad225e69bafda58c7cc/ https://tylercipriani.com/blog/2016/01/19/Command-Timing-Bash-Prompt/#comment-fc84b6fd9e930b27a6e8917fb3e35f73 thcipriani Tue, 20 Sep 2016 14:20:49 +0000 2018-06-13T19:34:11Z <p><em>Comment by bbearnes — Tue 2016-09-20 05:19:07 AM</em></p> <blockquote> <p>It looks like there’re code formatting issues in this post - HTML getting escaped where it shouldn’t?</p> </blockquote> <p>Thanks for the heads-up. This was ikiwiki’s markup engine interpreting bash’s <code>[[</code> builtin as the start of link.</p> <p>I fixed this in the dumbest way possible, that is, I made the code sh/POSIX-compliant so that it only uses <code>[</code> rather than <code>[[</code> <img src="https://tylercipriani.com/smileys/neutral.png" alt=":|" /></p> <p>I should find a better way around this problem…</p>