Descobri! Acontece que quando eu tentei a segunda resposta fornecida neste post SO, eu fiz cd /etc/init.d e, em seguida, executei redis-server stop , quando eu deveria ter executado /etc/init.d/redis-server stop . Eu não sei por que isso importa embora.