| .. | 
		
		
			
			
			
			
				| certbot-post.bash | Prepare new deployment infrastructure | 2020-06-10 21:14:50 -06:00 | 
		
			
			
			
			
				| certbot-pre.bash | Prepare new deployment infrastructure | 2020-06-10 21:14:50 -06:00 | 
		
			
			
			
			
				| compile-system.bash | Automatically allocate one uid per session | 2020-06-22 12:35:38 -06:00 | 
		
			
			
			
			
				| deploy-phase1.py | Report errors properly in deploy script | 2020-06-25 07:44:21 -06:00 | 
		
			
			
			
			
				| deploy-phase2.py | Fix usage of stdout | 2020-06-12 12:12:38 -06:00 | 
		
			
			
			
			
				| deploy.bash | Don't hardcode the IP address | 2020-06-12 16:57:25 -06:00 | 
		
			
			
			
			
				| docker-install-phase0.bash | Drop privileges to respective uid | 2020-06-22 20:46:42 -06:00 | 
		
			
			
			
			
				| docker-install-phase1.bash | Drop privileges to respective uid | 2020-06-22 20:46:42 -06:00 | 
		
			
			
			
			
				| docker-install-phase2.bash | Add TeX | 2020-06-22 21:04:21 -06:00 | 
		
			
			
			
			
				| docker-install-phase3a.bash | Drop privileges to respective uid | 2020-06-22 20:46:42 -06:00 | 
		
			
			
			
			
				| docker-install-phase3b.bash | Drop privileges to respective uid | 2020-06-22 20:46:42 -06:00 | 
		
			
			
			
			
				| docker-install-phase3c.bash | Drop privileges to respective uid | 2020-06-22 20:46:42 -06:00 | 
		
			
			
			
			
				| docker-install-phase3d.bash | Add TeX | 2020-06-22 21:04:21 -06:00 | 
		
			
			
			
			
				| docker-install-phase4.bash | Drop privileges to respective uid | 2020-06-22 20:46:42 -06:00 | 
		
			
			
			
			
				| docker-install-phase5.bash | LSP working with Python!! | 2020-07-05 12:21:56 -06:00 | 
		
			
			
			
			
				| docker-install-phase6.bash | Drop privileges to respective uid | 2020-06-22 20:46:42 -06:00 | 
		
			
			
			
			
				| docker.bash | Add Makefile to run Docker container | 2020-06-05 19:26:19 -06:00 | 
		
			
			
			
			
				| install-scripts.bash | Various improvements for systemd | 2020-06-12 12:07:42 -06:00 | 
		
			
			
			
			
				| pid1.bash | Automatically allocate one uid per session | 2020-06-22 12:35:38 -06:00 | 
		
			
			
			
			
				| riju-serve.bash | Drop privileges to respective uid | 2020-06-22 20:46:42 -06:00 | 
		
			
			
			
			
				| riju.service | Various improvements for systemd | 2020-06-12 12:07:42 -06:00 | 
		
			
			
			
			
				| setup.bash | Drop privileges to respective uid | 2020-06-22 20:46:42 -06:00 |