User contributions for Jul

A user with 4 edits. Account created on 26 July 2019.
Search for contributionsExpandCollapse
⧼contribs-top⧽
⧼contribs-date⧽

29 May 2023

12 May 2023

  • 21:3921:39, 12 May 2023 diff hist +394 GitGit prompt: add a note for faster prompt. This option can freeze the shell for a bit, especially on older hard disks.

6 May 2023

  • 22:3522:35, 6 May 2023 diff hist +1 m Color output in consoleTerminate the second color argument. This is to avoid 'Invalid color string' errors for utilities that modify LESS variable by appending an option to it like this: LESS="${LESS}p^COMMANDS" man less

7 October 2019