Recent Changes

2022-11-19

• 19:55 UTC (new) (history) 2022-11-19 Streamlining my workflow with Magit and BitBucket . . . . mbork – We use BitBucket at our company, which is some source of frustration for us. One of the issues we have with BitBucket is that it seems to lack a decent CLI tool. This means that in order to e.g. create a pull request, you go to the website, click a few times and only then confirm that a PR is really what you want. Well, after some time I learned that it’s not that bad. When you git push your changes, Git (on the command line) responds with the URL you need to go to create a pull request out of the branch you just pushed. (This is most probably achieved via post-receive or some other Git hook.) Nice. Well, of course I don’t use Git from the command line – I use Magit. So naturally I wanted Emacs to extract that information for me and open the URL in the browser. It turns out that it was easier than I thought.

2022-11-14

• 20:43 UTC (new) (history) 2022-11-14 Doubling backslashes . . . . mbork – Today’s post is not meant to be very useful to most people, but it serves as a demonstration of a point (well, that, and a bit of advertisement;-)). However strange it may sound, a few days ago I have a very atypical need. I needed to move some LaTeX code to a JSON file. This meant that all the backslashes had to be doubled, of course – LaTeX code is full of them, and they need to be escaped in JSON. Obviously, query-replace​’ing backslashes with double backslashes is easy, and query-replace only operates on the region when it is active, but I wanted to make sure I didn’t replace them twice by accidentally marking too much. So – partly as an exercise, I guess – I decided to write a command to replace every backslash in the region by two backslashes, but only if it was a single one.

2022-11-07

• 07:18 UTC (new) (history) 2022-11-07 Counting working days again . . . . mbork – Some time ago I wrote about counting business days in Emacs. I mentioned that I’m going to revisit that topic in the future. Well, the future is now! Recall that the need I had was to know how many business days there are in any given month.
• 07:17 UTC (diff) (history) Comments on 2022-10-24 Playing videos from the last position in mpv . . . . mbork – Ah, this looks pretty interesting! Thanks, I'll definitely check that out!

More...