Heb het bedacht! Het bleek dat toen ik het tweede antwoord in dit SO-bericht had geprobeerd, ik cd /etc/init.d
had gedaan en vervolgens redis-server stop
uitgevoerd , terwijl ik eigenlijk /etc/init.d/redis-server stop
had moeten uitvoeren . Ik weet echter niet waarom dit van belang is.