mirror of
				https://github.com/sharkdp/bat.git
				synced 2025-10-29 22:24:35 +00:00 
			
		
		
		
	closes #1510 The change in `create_highlighted_versions.py` fixes a "unknown theme "'1337'" warning. The single quotes were wrong. `bat` was always falling back to the default theme, so let's use that for now.
		
			
				
	
	
		
			5 lines
		
	
	
		
			252 B
		
	
	
	
		
			Plaintext
		
	
	
	
		
			Vendored
		
	
	
	
			
		
		
	
	
			5 lines
		
	
	
		
			252 B
		
	
	
	
		
			Plaintext
		
	
	
	
		
			Vendored
		
	
	
	
| [38;2;117;113;94m# A comment[0m
 | ||
| [38;2;249;38;114mdomain[0m[38;2;248;248;242m example.com[0m
 | ||
| [38;2;249;38;114mnameserver[0m[38;2;248;248;242m 192.168.123.123[0m
 | ||
| [38;2;249;38;114mnameserver[0m[38;2;248;248;242m aa00::aaaa:0000:1234:abcd[0m
 |