Recent Changes

Updates since 2022-10-07 11:20 UTC up to 2022-11-06 11:20 UTC

1 | 3 | 7 | 30 | 90 days
List all changes Include rollbacks Include minor changes
List later changes RSS RSS with pages RSS with pages and diff

2022-10-29

  • 10:16 UTC (new) (history) 2022-10-29 A bash helper for prefixed scripts . . . . mbork Let’s say we have some project we are working on. The project involves a number of shell scripts for various tasks, like versioning, building, testing, deploying etc. It is useful to have these scripts in your $PATH while working on that project. There are several ways to do that. One way is to add the directory containing them to $PATH, but only for the time we’re working on the project. Another is to use things like npm run and the scripts property of package.json (and I’m fairly sure many other languages feature similar facilities). Recently, I found yet another one, which is pretty useful and extremely cool at the same time. I prefixed all the scripts with the project’s (abbreviated) name, say dw-​. So, assume I have scripts like dw-version.sh, dw-build.sh, dw-test.sh etc. Now I can permanently add the directory containing them to my $PATH, since I (kind of) namespaced them and they won’t get mixed with any other project’s scripts (nor general use utilities). The only trouble that’s left is that typing dw- each time is a bit tedious. Well, Bash to the rescue.
  • 10:15 UTC (diff) (history) Comments on 2022-10-03 Converting words and sentences to identifiers . . . . mbork Correct, though in my use-case the phrase always starts with a letter, so I didn't need that.

2022-10-25

2022-10-24

2022-10-15

2022-10-10

  • 20:35 UTC (new) (history) 2022-10-10 Adding timestamps to youtube links . . . . mbork I sometimes keep YouTube links in my Org mode files. They are often links to lectures which I don’t usually watch in one sitting. One trouble I always have is remembering the point where I stopped watching last time and starting there. Obviously, I decided to write some Elisp to ease that task a bit.

More...

Filters