| 
							
						 | 
						
							
							
							
							
								
							
							
								265e239fc8
								
							
						 | 
						
							
							
								
								Merge branch 'master' into zsh-func
							
							
							
							
							
						 | 
						
							2022-01-19 08:31:23 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								9b3a1cd422
								
							
						 | 
						
							
							
								
								Simplify pprint a bit, make JSON parsing the default
							
							
							
							
							
						 | 
						
							2022-01-19 08:31:15 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								25249eb3e4
								
							
						 | 
						
							
							
								
								Merge branch 'master' into zsh-func
							
							
							
							
							
						 | 
						
							2022-01-19 08:23:22 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								a0cd8f4680
								
							
						 | 
						
							
							
								
								[zsh] Move pprint aliases to a real Python script in bin/
							
							
							
							
							
						 | 
						
							2022-01-16 22:07:36 +00:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								74156cf2fc
								
							
						 | 
						
							
							
								
								Fix up shell-log, yet again
							
							
							
							
							
						 | 
						
							2021-12-31 12:01:21 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								b09d523218
								
							
						 | 
						
							
							
								
								[zsh] Update shell init; use ZSH autoloaded functions instead of a bunch of files
							
							
							
							
							
						 | 
						
							2021-12-31 10:27:27 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								9a4c76e56d
								
							
						 | 
						
							
							
								
								shell-log stuff?
							
							
							
							
							
						 | 
						
							2019-01-20 18:05:06 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								621b85bc18
								
							
						 | 
						
							
							
								
								A little more progress on shell-log
							
							
							
							
							
						 | 
						
							2018-04-14 08:02:27 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								9e7d3b8585
								
							
						 | 
						
							
							
								
								[num] Add bases to input parsing
							
							
							
							
							
						 | 
						
							2018-04-08 17:06:37 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								c7b614da8f
								
							
						 | 
						
							
							
								
								WIP Python script to replace the print_msg stuff in .shell-functions
							
							
							
							
							
						 | 
						
							2018-03-22 09:23:51 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								e8d695d689
								
							
						 | 
						
							
							
								
								[num] Rename: remove .py
							
							
							
							
							
						 | 
						
							2016-11-20 09:45:08 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								e9ae077f43
								
							
						 | 
						
							
							
								
								[zsh] Add bin directory and num.py
							
							
							
							
							
						 | 
						
							2014-09-02 09:37:29 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 |