diff update_repositories.luan @ 10:a7187a447835

restrict repo names
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 12 Jul 2022 19:40:50 -0600
parents 338ab58d91f2
children c560b4e2f056
line wrap: on
line diff
--- a/update_repositories.luan	Tue Jul 12 13:27:12 2022 -0600
+++ b/update_repositories.luan	Tue Jul 12 19:40:50 2022 -0600
@@ -39,7 +39,7 @@
 for repo in pairs(repos) do
 	if not uri("file:repos/"..repo).exists() then
 		logger.info("creating repo "..repo)
-		uri("bash:/usr/local/bin/hg init 'repos/"..repo.."'").read_text()
+		uri("bash:/usr/local/bin/hg init repos/"..repo).read_text()
 	end
 end
 -- delete unused repos