comparison 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
comparison
equal deleted inserted replaced
8:c7a899252621 9:338ab58d91f2
37 37
38 -- init new repositories 38 -- init new repositories
39 for repo in pairs(repos) do 39 for repo in pairs(repos) do
40 if not uri("file:repos/"..repo).exists() then 40 if not uri("file:repos/"..repo).exists() then
41 logger.info("creating repo "..repo) 41 logger.info("creating repo "..repo)
42 uri("bash:/usr/local/bin/hg init repos/"..repo).read_text() 42 uri("bash:/usr/local/bin/hg init 'repos/"..repo.."'").read_text()
43 end 43 end
44 end 44 end
45 -- delete unused repos 45 -- delete unused repos
46 for _, child in ipairs( uri("file:repos").children() ) do 46 for _, child in ipairs( uri("file:repos").children() ) do
47 local name = child.name() 47 local name = child.name()