# HG changeset patch
# User Franklin Schmidt <fschmidt@gmail.com>
# Date 1657654032 21600
# Node ID 338ab58d91f2f8dc835b07bd40946f75ffab3b71
# Parent  c7a89925262189c89270fed1ccc3aab77e7525b1
quote repo

diff -r c7a899252621 -r 338ab58d91f2 update_repositories.luan
--- 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