diff update_repositories.luan @ 9:338ab58d91f2

quote repo
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 12 Jul 2022 13:27:12 -0600
parents dfc36e7ed22c
children a7187a447835
line wrap: on
line diff
--- a/update_repositories.luan	Wed Jun 15 13:01:50 2022 -0600
+++ b/update_repositories.luan	Tue Jul 12 13:27:12 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