Code blocks in Obsidian notes automatically render with line wrapping. A sensible default of course, but in some cases the line wrapping can ruin the look or legibility of a code snippet. Here is an approach to disable line wrapping on selected notes (using Obsidian 1.6.5 here).
Create …
Kibana (Discover) URLs look a bit funky. All the query information is encoded in the URL with a serialization format called RISON. This is a pretty obscure format (it doesn't even have a Wikipedia page at the moment) based on JSON but with some tweaks to make it more URL-compatible …
If you're searching on the command line for files that contain a certain word or pattern,
a tool like grep (or one of its descendants like ripgrep, ack, ag, ...) is your friend.
But what if you want to find files containing multiple words?
For example, you want to find all …
There are plenty of tools and libraries out there to decode (and verify) JSON Web Tokens (JWT). But what if you are in a context where you can not or don't want to use these?
Here is a simple command line one-liner to decode a JWT passed through standard input …
To get a quick overview of a git repo, I wanted to know what kind of files it contained, for example through a simple histogram of file extensions.
I figured this would be a nice test for ChatGPT:
Can you write me a bash script to walk the current directory …
Today I learned that git add has built-in support for recursively adding files by file extension.
For example, to add all .py files, at all levels your current working directory's file tree,
use *.py in single quotes:
git add '*.py'
The single quotes here avoids that a classic shell like …
Today I learned about creating and applying patches with git format-patch and git am.
I was working on a remote JupyterLab instance, happily git commit'ing some stuff,
only to figure out too late that I lacked git push permissions there.
As it was a throwaway remote instance,
I didn't …
Today I learned about a drop-in replacement for Google Fonts: Bunny Fonts.
I've been using Google Fonts in some small side projects, because it was an easy way back in the days to sprinkle your website with a fancy font here and there. But it turns out (surprise?) that using …
Today I learned that you can directly create a branch from a GitHub PR, created from another user's fork without explicitly adding that user's fork as a remote.
https://github.com/username/frobnicator/pull/123)Create a local branch, let's say …
Sometimes you have these simple Python projects that are essentially just a single file.
On the road to package your project "properly",
you'll find a lot of documentation and tools
pushing you towards a complex project layout with multiple folders
(e.g. a generally recommended src layout)
and additional (empty …