From 30250279662b157cb51c0fed38640cf874d56f5d Mon Sep 17 00:00:00 2001 From: Florent Didier <florent.didier@inria.fr> Date: Fri, 13 Apr 2018 10:48:58 +0200 Subject: [PATCH] [dev] mw_utils.rb: generate G5K sites list --- generators/wiki/mw_utils.rb | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/generators/wiki/mw_utils.rb b/generators/wiki/mw_utils.rb index 1397f848ec2..a9fcdbf468c 100644 --- a/generators/wiki/mw_utils.rb +++ b/generators/wiki/mw_utils.rb @@ -1,9 +1,12 @@ +require 'pp' require 'open-uri' require 'uri' require 'net/http' require 'net/https' require 'mediawiki_api' +require_relative "../lib/input_loader" + #Adding method to mediawiki_api client module MediawikiApi @@ -32,8 +35,8 @@ end #Defines global Grid5000 helpers (TODO move to its own file once it is big enough) module G5K - SITES = %w{grenoble lille luxembourg lyon nancy nantes rennes sophia} - + SITES = load_yaml_file_hierarchy(File.expand_path("../../input/grid5000/", File.dirname(__FILE__)))['sites'].keys.sort + # This method compacts an array of integers as follows # nodeset([2,3,4,7,9,10,12]) returns the string '[2-4,<wbr>7,<wbr>9-10,<wbr>12]' # where <wbr> is a hidden tag that enables carriage return in wikimedia @@ -187,3 +190,4 @@ module MW end end +pp G5K::SITES -- GitLab