Archive for the 'english' Category

Links 2020-04-05

On Gaming …

Links 2020-04-03

On Covid-19 induced work from home conditions …

Links 2020-04-02

On teams, agile methods, and remote work …

Links 2020-02-14

On art, design, and craftmanship …

Links 2020-02-12

Misc dev advice …

Links 2020-02-10

On crypto and security …

Leaving Pocket

screenshot "my year in Pocket 2018"

Today I ended my Pocket Premium subscription.

I have been using Read It Later (now Pocket) since 2011, quite a long time ago. In 2015 I started paying for it because I used the service a lot, I found it very useful, and I did not want it to disappear like so many others have before. The best and notable features were:

  • compact list view of bookmarks with tags
  • good Firefox integration
  • cross-device sync (e.g. offline reading on a tablet)
  • usable API (e.g. to sync with Trello)

Read the rest of this entry »

Directory Scoped Git Configuration

I have always had a problem with the configuration of different email addresses in different git repositories. The git configuration is split into a global (~/.gitconfig) and a local/repository part (project_dir/.git/config). This works only for simple setups with one default configuration and 1-2 exceptions with per-repo overrides.

But it does not work for me, I have multiple different repositories checked out and I always forget to configure the right email address after the git clone. And it is not only “normal/private” vs. “work” address but I also have multiple addresses for different customers and open source projects. It’s a mess.

Today I finally learned about a working solution for this with git-config conditional includes. These were introduced in 2017 with git 2.13 and I found them via StackOverflow.

Read the rest of this entry »