removed obsolete explorer
Signed-off-by: Steven Armstrong <steven.armstrong@inf.ethz.ch>
This commit is contained in:
		
					parent
					
						
							
								0d88bccead
							
						
					
				
			
			
				commit
				
					
						cda7664e13
					
				
			
		
					 1 changed files with 0 additions and 32 deletions
				
			
		|  | @ -1,32 +0,0 @@ | ||||||
| #!/bin/sh |  | ||||||
| # |  | ||||||
| # 2010 Nico Schottelius (nico-cdist at schottelius.org) |  | ||||||
| # |  | ||||||
| # This file is part of cdist. |  | ||||||
| # |  | ||||||
| # cdist is free software: you can redistribute it and/or modify |  | ||||||
| # it under the terms of the GNU General Public License as published by |  | ||||||
| # the Free Software Foundation, either version 3 of the License, or |  | ||||||
| # (at your option) any later version. |  | ||||||
| # |  | ||||||
| # cdist is distributed in the hope that it will be useful, |  | ||||||
| # but WITHOUT ANY WARRANTY; without even the implied warranty of |  | ||||||
| # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the |  | ||||||
| # GNU General Public License for more details. |  | ||||||
| # |  | ||||||
| # You should have received a copy of the GNU General Public License |  | ||||||
| # along with cdist. If not, see <http://www.gnu.org/licenses/>. |  | ||||||
| # |  | ||||||
| # |  | ||||||
| 
 |  | ||||||
| os="$("$__explorer/os")" |  | ||||||
| 
 |  | ||||||
| case "$os" in |  | ||||||
|       archlinux) echo pacman ;; |  | ||||||
|       debian|ubuntu) echo apt ;; |  | ||||||
|       gentoo) echo emerge ;; |  | ||||||
|       *) |  | ||||||
|          echo "Unknown OS: $os" >&2 |  | ||||||
|          exit 1 |  | ||||||
|       ;; |  | ||||||
| esac |  | ||||||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue