Replace dashes by underscores in GitHub usernames
This commit is contained in:
parent
5d81900bea
commit
e3b245f102
1 changed files with 1 additions and 1 deletions
|
@ -9,7 +9,7 @@ end
|
||||||
|
|
||||||
editor = ENV["VISUAL"] || ENV["EDITOR"]
|
editor = ENV["VISUAL"] || ENV["EDITOR"]
|
||||||
home = ENV["BOXEN_HOME"] + "/repo"
|
home = ENV["BOXEN_HOME"] + "/repo"
|
||||||
user = user.downcase
|
user = user.downcase.tr('-', '_')
|
||||||
path = "#{home}/modules/people/manifests/#{user}.pp"
|
path = "#{home}/modules/people/manifests/#{user}.pp"
|
||||||
|
|
||||||
unless File.exist? path
|
unless File.exist? path
|
||||||
|
|
Loading…
Reference in a new issue