Comment configurer Redis au démarrage :
1 Copiez Redis et installez le /usr/local/redis-4.0.8/utils/redis_init_script actuel dans /. Fichier etc /init.d/redis ;
cp /usr/local/redis-4.0.8/utils/redis_init_script /etc/init.d/redis
2. Modifiez le fichier /etc/init.d/redis. Modifiez le répertoire d'installation des fichiers associés à l'installation de Redis
#!/bin/sh # chkconfig: 2345 10 90 # description: Start and Stop redis # Simple Redis init.d script conceived to work on Linux systems # as it does use of the /proc filesystem. REDISPORT=6379 EXEC=/usr/local/redis/bin/redis-server CLIEXEC=/usr/local/redis/bin/redis-cli PIDFILE=/var/run/redis_${REDISPORT}.pid CONF="/usr/local/redis/etc/redis.conf"
#!/bin/sh # chkconfig: 2345 10 90 # description: Start and Stop redis
Remarque :
Le commentaire ci-dessus signifie que le service Redis doit être au niveau d'exécution 2, 3, il est démarré ou arrêté sous 4 ou 5. La priorité de démarrage est de 90 et la priorité d'arrêt est de 10. Copiez-le depuis le répertoire d'installation de redis, il n'y est peut-être pas, vous devez l'ajouter ; sinon la commande chkconfig échouera ;
3. Démarrez les paramètres après le démarrage, exécutez la commande :
<🎜. >Ajouter un service Redis :
chkconfig --add redis
chkconfig redis on
service redis start service redis stop
Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!