Tyler Cipriani Creative Commons Attribution-ShareAlike License Copyright © 2017 Tyler Cipriani https://tylercipriani.com/blog/2016/01/19/Command-Timing-Bash-Prompt/ Tyler Cipriani ikiwiki 2018-06-13T19:34:11Z https://tylercipriani.com/blog/2016/01/19/Command-Timing-Bash-Prompt/comment_1_abc32a353638841442a8d32ac734a812/ bbearnes 2018-06-13T19:34:11Z 2016-09-20T05:19:07Z 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/ thcipriani 2018-06-13T19:34:11Z 2016-09-20T14:20:49Z <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>