mirror of
				https://github.com/oSoWoSo/DistroHopper.git
				synced 2024-08-14 22:46:53 +00:00 
			
		
		
		
	qr: tip
https://github.com/quickemu-project/quickemu/pull/864 Needs to be merged to work
This commit is contained in:
		
							parent
							
								
									e78cd81da3
								
							
						
					
					
						commit
						3106911166
					
				
					 1 changed files with 3 additions and 3 deletions
				
			
		
							
								
								
									
										6
									
								
								qrun
									
										
									
									
									
								
							
							
						
						
									
										6
									
								
								qrun
									
										
									
									
									
								
							|  | @ -56,7 +56,7 @@ show_vms() { | ||||||
| 
 | 
 | ||||||
| show_headers() { | show_headers() { | ||||||
| 	distro=$(shuf -n 1 /tmp/supported) | 	distro=$(shuf -n 1 /tmp/supported) | ||||||
| 	homepage=$("$QUICKGET" -h "${distro}") | 	homepage=$("$QUICKGET" -s "${distro}") | ||||||
| 
 | 
 | ||||||
| 	header_logo=$(gum style --padding "0 1" --border=rounded --border-foreground $color " Simple VMs runner | 	header_logo=$(gum style --padding "0 1" --border=rounded --border-foreground $color " Simple VMs runner | ||||||
| ▄▄▄▄ ▄▄▄  ▄  ▄ ▄   ▄ | ▄▄▄▄ ▄▄▄  ▄  ▄ ▄   ▄ | ||||||
|  | @ -66,9 +66,9 @@ show_headers() { | ||||||
| v$version▀  for quickemu") | v$version▀  for quickemu") | ||||||
| 
 | 
 | ||||||
| 	tip_header=$(gum style --bold "Tip: ") | 	tip_header=$(gum style --bold "Tip: ") | ||||||
| 	tip_distro=$(gum style $distro) | 	tip_distro=$(gum style --align left "$distro") | ||||||
| 	tip_temp=$(gum join --align top "$tip_header" "$tip_distro") | 	tip_temp=$(gum join --align top "$tip_header" "$tip_distro") | ||||||
| 	tip_homepage=$(gum style $homepage) | 	tip_homepage=$(gum style --align left "$homepage") | ||||||
| 	tip=$(gum join --vertical --align top "$tip_temp" "$tip_homepage") | 	tip=$(gum join --vertical --align top "$tip_temp" "$tip_homepage") | ||||||
| 	tip_border=$(gum style --padding "0 1" --border=rounded --border-foreground $color "$tip") | 	tip_border=$(gum style --padding "0 1" --border=rounded --border-foreground $color "$tip") | ||||||
| 
 | 
 | ||||||
|  |  | ||||||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue