Posts in jplehr

by jplehr

All this silence

I just realized how silent I was on my website over the last […]
read more
September 22, 2019 ▪
0
by jplehr

Keyboard layout and key mappings

When I switched to i3wm as my main work-horse window manager, I decided […]
read more
April 10, 2018 ▪
0
by jplehr

Opera Tab-Manager

After looking for some extension to cope with many open tabs within Opera, […]
read more
February 17, 2018 ▪
0
by jplehr

papi-wrap now public

I took some time on my last day of vacation to finish the […]
read more
January 10, 2018 ▪
0
by jplehr

Interactive shell with SLURM

I just discovered a half-broken blueprint script that was supposed to open an […]
read more
January 6, 2018 ▪
0
by jplehr

Other “mes”

In case you are interested in checking out what I do, you can […]
read more
January 6, 2018 ▪
0
by jplehr

Hello world!

Like pretty much every tutorial for every programming language, this website starts with […]
read more
January 5, 2018 ▪
0