Searched defs:prepare (Results 1 - 4 of 4) sorted by relevance

/ontohub/lib/hets/
H A Dprovers_options.rb5 def prepare method in class:Hets.ProversOptions
H A Dhets_options.rb11 prepare
16 prepare
30 def prepare method in class:Hets.HetsOptions
H A Dprove_options.rb23 def prepare method in class:Hets.ProveOptions
/ontohub/config/initializers/
H A Dpaths.rb15 def prepare(path, fallback = nil) method in class:PathsInitializer
33 config.data_root = prepare(Settings.paths.data)
34 config.git_root = prepare(Settings.paths.git_repositories, DEFAULT_PATHS[:git_repositories])
35 config.git_daemon_path = prepare(Settings.paths.git_daemon, DEFAULT_PATHS[:git_daemon])
36 config.git_ssh_path = prepare(Settings.paths.git_ssh, DEFAULT_PATHS[:git_ssh])
37 config.commits_path = prepare(Settings.paths.commits, DEFAULT_PATHS[:commits])

Completed in 1020 milliseconds