| 
				
			 | 
			
			
				@@ -24,6 +24,10 @@ function argument_checks { 
			 | 
		
	
		
			
			| 
				24
			 | 
			
				24
			 | 
			
			
				   fi 
			 | 
		
	
		
			
			| 
				25
			 | 
			
				25
			 | 
			
			
				 } 
			 | 
		
	
		
			
			| 
				26
			 | 
			
				26
			 | 
			
			
				  
			 | 
		
	
		
			
			| 
				
			 | 
			
				27
			 | 
			
			
				+function remove_proprietary_repos { 
			 | 
		
	
		
			
			| 
				
			 | 
			
				28
			 | 
			
			
				+  sed -i 's/ non-free//g' /etc/apt/sources.list 
			 | 
		
	
		
			
			| 
				
			 | 
			
				29
			 | 
			
			
				+} 
			 | 
		
	
		
			
			| 
				
			 | 
			
				30
			 | 
			
			
				+ 
			 | 
		
	
		
			
			| 
				27
			 | 
			
				31
			 | 
			
			
				 function initial_setup { 
			 | 
		
	
		
			
			| 
				28
			 | 
			
				32
			 | 
			
			
				   apt-get -y update 
			 | 
		
	
		
			
			| 
				29
			 | 
			
				33
			 | 
			
			
				   apt-get -y dist-upgrade 
			 | 
		
	
	
		
			
			| 
				
			 | 
			
			
				@@ -38,10 +42,6 @@ function enable_backports { 
			 | 
		
	
		
			
			| 
				38
			 | 
			
				42
			 | 
			
			
				   echo "deb http://ftp.us.debian.org/debian jessie-backports main" >> /etc/apt/sources.list 
			 | 
		
	
		
			
			| 
				39
			 | 
			
				43
			 | 
			
			
				 } 
			 | 
		
	
		
			
			| 
				40
			 | 
			
				44
			 | 
			
			
				  
			 | 
		
	
		
			
			| 
				41
			 | 
			
				
			 | 
			
			
				-function remove_proprietary_repos { 
			 | 
		
	
		
			
			| 
				42
			 | 
			
				
			 | 
			
			
				-  sed -i 's/ non-free//g' /etc/apt/sources.list 
			 | 
		
	
		
			
			| 
				43
			 | 
			
				
			 | 
			
			
				-} 
			 | 
		
	
		
			
			| 
				44
			 | 
			
				
			 | 
			
			
				- 
			 | 
		
	
		
			
			| 
				45
			 | 
			
				45
			 | 
			
			
				 function update_the_kernel { 
			 | 
		
	
		
			
			| 
				46
			 | 
			
				46
			 | 
			
			
				   cd /opt/scripts/tools 
			 | 
		
	
		
			
			| 
				47
			 | 
			
				47
			 | 
			
			
				   ./update_kernel.sh --kernel $KERNEL_VERSION 
			 |