|  | @@ -31,6 +31,7 @@ function init_alias {
 | 
	
		
			
				|  |  |  function init_repositories {
 | 
	
		
			
				|  |  |      add-apt-repository -y ppa:ondrej/php
 | 
	
		
			
				|  |  |      add-apt-repository -y ppa:nginx/stable
 | 
	
		
			
				|  |  | +    add-apt-repository -y ppa:chris-lea/redis-server
 | 
	
		
			
				|  |  |      grep -rl ppa.launchpad.net /etc/apt/sources.list.d/ | xargs sed -i 's/http:\/\/ppa.launchpad.net/https:\/\/launchpad.proxy.ustclug.org/g'
 | 
	
		
			
				|  |  |  
 | 
	
		
			
				|  |  |      #curl -sS https://dl.yarnpkg.com/debian/pubkey.gpg | apt-key add -
 |