I just took a screenshot with the updated Grab app in MacOS Mojave and my 4-finger swipe to switch Spaces desktops stopped working. I found this post which talks about something similar with multitouch gestures which sounds like it’s a randomly occurring issue with multitouch gestures. A reboot fixed it for me, but it was surprising how much I rely on gestures to switch desktops/apps, and when it’s not working how to you switch?! (Ctrl-Left/Right is also works as a keyboard shortcut).
Building Redis from source on Ubuntu server 18.04
After downloading redis source and attempting to make on Ubuntu server 28.04, it looks like I’ve got some dependencies missing:
kev@ubuntu18-redis1:~/redis/redis-4.0.11$ make
cd src && make all
make[1]: Entering directory '/home/kev/redis/redis-4.0.11/src'
CC Makefile.dep
CC adlist.o
In file included from adlist.c:34:0:
zmalloc.h:50:10: fatal error: jemalloc/jemalloc.h: No such file or directory
#include <jemalloc/jemalloc.h>
^~~~~~~~~~~~~~~~~~~~~
compilation terminated.
I found an identical post about this issue, with not building the dependencies. To fix:
cd depsmake hiredis jemalloc linenoise lua geohash-int
cd ..
make
sudo make install
That resulted in a clean install, ready to start redis-server !