use $__global instead of ./out/
Signed-off-by: Steven Armstrong <steven@icarus.ethz.ch>
This commit is contained in:
		
					parent
					
						
							
								8bb3a5b416
							
						
					
				
			
			
				commit
				
					
						b9ff43c657
					
				
			
		
					 1 changed files with 1 additions and 1 deletions
				
			
		| 
						 | 
					@ -28,7 +28,7 @@ if [ -f "$type" ]; then
 | 
				
			||||||
   type="$(cat "$type")"
 | 
					   type="$(cat "$type")"
 | 
				
			||||||
else
 | 
					else
 | 
				
			||||||
   # By default determine package manager based on operating system
 | 
					   # By default determine package manager based on operating system
 | 
				
			||||||
   os="$(cat "out/explorer/os")"
 | 
					   os="$(cat "$__global/explorer/os")"
 | 
				
			||||||
   case "$os" in
 | 
					   case "$os" in
 | 
				
			||||||
         archlinux) type="pacman" ;;
 | 
					         archlinux) type="pacman" ;;
 | 
				
			||||||
         debian|ubuntu) type="apt" ;;
 | 
					         debian|ubuntu) type="apt" ;;
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue