Skip to content

Instantly share code, notes, and snippets.

@channeng
Created October 22, 2017 16:28
Show Gist options
  • Select an option

  • Save channeng/b771cdcd10ba9e956c665e10815fd292 to your computer and use it in GitHub Desktop.

Select an option

Save channeng/b771cdcd10ba9e956c665e10815fd292 to your computer and use it in GitHub Desktop.
Script to build redis-server
#!/bin/bash
# This script downloads redis-server
# if redis has not already been downloaded
if [ ! -d redis-3.2.1/src ]; then
wget http://download.redis.io/releases/redis-3.2.1.tar.gz
tar xzf redis-3.2.1.tar.gz
rm redis-3.2.1.tar.gz
cd redis-3.2.1
make
else
cd redis-3.2.1
fi
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment