Skip to content

Commit 37289c6

Browse files
mtf90mtf90
committed
update installation steps
1 parent 36abda2 commit 37289c6

File tree

3 files changed

+319
-2
lines changed

3 files changed

+319
-2
lines changed

‎Gemfile

+35
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,35 @@
1+
source "https://rubygems.org"
2+
# Hello! This is where you manage which Jekyll version is used to run.
3+
# When you want to use a different version, change it below, save the
4+
# file and run `bundle install`. Run Jekyll with `bundle exec`, like so:
5+
#
6+
# bundle exec jekyll serve
7+
#
8+
# This will help ensure the proper Jekyll version is running.
9+
# Happy Jekylling!
10+
#gem "jekyll", "~> 4.3.2"
11+
# This is the default theme for new Jekyll sites. You may change this to anything you like.
12+
#gem "minima", "~> 2.5"
13+
# If you want to use GitHub Pages, remove the "gem "jekyll"" above and
14+
# uncomment the line below. To upgrade, run `bundle update github-pages`.
15+
gem "github-pages", "~> 228", group: :jekyll_plugins
16+
# If you have any plugins, put them here!
17+
# group :jekyll_plugins do
18+
# gem "jekyll-feed", "~> 0.12"
19+
# end
20+
21+
# Windows and JRuby does not include zoneinfo files, so bundle the tzinfo-data gem
22+
# and associated library.
23+
platforms :mingw, :x64_mingw, :mswin, :jruby do
24+
gem "tzinfo", ">= 1", "< 3"
25+
gem "tzinfo-data"
26+
end
27+
28+
# Performance-booster for watching directories on Windows
29+
gem "wdm", "~> 0.1.1", :platforms => [:mingw, :x64_mingw, :mswin]
30+
31+
# Lock `http_parser.rb` gem to `v0.6.x` on JRuby builds since newer versions of the gem
32+
# do not have a Java counterpart.
33+
gem "http_parser.rb", "~> 0.6.0", :platforms => [:jruby]
34+
35+
gem "webrick", "~> 1.8"

‎Gemfile.lock

+276
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,276 @@
1+
GEM
2+
remote: https://rubygems.org/
3+
specs:
4+
activesupport (7.1.2)
5+
base64
6+
bigdecimal
7+
concurrent-ruby (~> 1.0, >= 1.0.2)
8+
connection_pool (>= 2.2.5)
9+
drb
10+
i18n (>= 1.6, < 2)
11+
minitest (>= 5.1)
12+
mutex_m
13+
tzinfo (~> 2.0)
14+
addressable (2.8.5)
15+
public_suffix (>= 2.0.2, < 6.0)
16+
base64 (0.2.0)
17+
bigdecimal (3.1.4)
18+
coffee-script (2.4.1)
19+
coffee-script-source
20+
execjs
21+
coffee-script-source (1.11.1)
22+
colorator (1.1.0)
23+
commonmarker (0.23.10)
24+
concurrent-ruby (1.2.2)
25+
connection_pool (2.4.1)
26+
dnsruby (1.70.0)
27+
simpleidn (~> 0.2.1)
28+
drb (2.2.0)
29+
ruby2_keywords
30+
em-websocket (0.5.3)
31+
eventmachine (>= 0.12.9)
32+
http_parser.rb (~> 0)
33+
ethon (0.16.0)
34+
ffi (>= 1.15.0)
35+
eventmachine (1.2.7)
36+
execjs (2.9.1)
37+
faraday (2.7.12)
38+
base64
39+
faraday-net_http (>= 2.0, < 3.1)
40+
ruby2_keywords (>= 0.0.4)
41+
faraday-net_http (3.0.2)
42+
ffi (1.16.3)
43+
forwardable-extended (2.6.0)
44+
gemoji (3.0.1)
45+
github-pages (228)
46+
github-pages-health-check (= 1.17.9)
47+
jekyll (= 3.9.3)
48+
jekyll-avatar (= 0.7.0)
49+
jekyll-coffeescript (= 1.1.1)
50+
jekyll-commonmark-ghpages (= 0.4.0)
51+
jekyll-default-layout (= 0.1.4)
52+
jekyll-feed (= 0.15.1)
53+
jekyll-gist (= 1.5.0)
54+
jekyll-github-metadata (= 2.13.0)
55+
jekyll-include-cache (= 0.2.1)
56+
jekyll-mentions (= 1.6.0)
57+
jekyll-optional-front-matter (= 0.3.2)
58+
jekyll-paginate (= 1.1.0)
59+
jekyll-readme-index (= 0.3.0)
60+
jekyll-redirect-from (= 0.16.0)
61+
jekyll-relative-links (= 0.6.1)
62+
jekyll-remote-theme (= 0.4.3)
63+
jekyll-sass-converter (= 1.5.2)
64+
jekyll-seo-tag (= 2.8.0)
65+
jekyll-sitemap (= 1.4.0)
66+
jekyll-swiss (= 1.0.0)
67+
jekyll-theme-architect (= 0.2.0)
68+
jekyll-theme-cayman (= 0.2.0)
69+
jekyll-theme-dinky (= 0.2.0)
70+
jekyll-theme-hacker (= 0.2.0)
71+
jekyll-theme-leap-day (= 0.2.0)
72+
jekyll-theme-merlot (= 0.2.0)
73+
jekyll-theme-midnight (= 0.2.0)
74+
jekyll-theme-minimal (= 0.2.0)
75+
jekyll-theme-modernist (= 0.2.0)
76+
jekyll-theme-primer (= 0.6.0)
77+
jekyll-theme-slate (= 0.2.0)
78+
jekyll-theme-tactile (= 0.2.0)
79+
jekyll-theme-time-machine (= 0.2.0)
80+
jekyll-titles-from-headings (= 0.5.3)
81+
jemoji (= 0.12.0)
82+
kramdown (= 2.3.2)
83+
kramdown-parser-gfm (= 1.1.0)
84+
liquid (= 4.0.4)
85+
mercenary (~> 0.3)
86+
minima (= 2.5.1)
87+
nokogiri (>= 1.13.6, < 2.0)
88+
rouge (= 3.26.0)
89+
terminal-table (~> 1.4)
90+
github-pages-health-check (1.17.9)
91+
addressable (~> 2.3)
92+
dnsruby (~> 1.60)
93+
octokit (~> 4.0)
94+
public_suffix (>= 3.0, < 5.0)
95+
typhoeus (~> 1.3)
96+
html-pipeline (2.14.3)
97+
activesupport (>= 2)
98+
nokogiri (>= 1.4)
99+
http_parser.rb (0.8.0)
100+
i18n (1.14.1)
101+
concurrent-ruby (~> 1.0)
102+
jekyll (3.9.3)
103+
addressable (~> 2.4)
104+
colorator (~> 1.0)
105+
em-websocket (~> 0.5)
106+
i18n (>= 0.7, < 2)
107+
jekyll-sass-converter (~> 1.0)
108+
jekyll-watch (~> 2.0)
109+
kramdown (>= 1.17, < 3)
110+
liquid (~> 4.0)
111+
mercenary (~> 0.3.3)
112+
pathutil (~> 0.9)
113+
rouge (>= 1.7, < 4)
114+
safe_yaml (~> 1.0)
115+
jekyll-avatar (0.7.0)
116+
jekyll (>= 3.0, < 5.0)
117+
jekyll-coffeescript (1.1.1)
118+
coffee-script (~> 2.2)
119+
coffee-script-source (~> 1.11.1)
120+
jekyll-commonmark (1.4.0)
121+
commonmarker (~> 0.22)
122+
jekyll-commonmark-ghpages (0.4.0)
123+
commonmarker (~> 0.23.7)
124+
jekyll (~> 3.9.0)
125+
jekyll-commonmark (~> 1.4.0)
126+
rouge (>= 2.0, < 5.0)
127+
jekyll-default-layout (0.1.4)
128+
jekyll (~> 3.0)
129+
jekyll-feed (0.15.1)
130+
jekyll (>= 3.7, < 5.0)
131+
jekyll-gist (1.5.0)
132+
octokit (~> 4.2)
133+
jekyll-github-metadata (2.13.0)
134+
jekyll (>= 3.4, < 5.0)
135+
octokit (~> 4.0, != 4.4.0)
136+
jekyll-include-cache (0.2.1)
137+
jekyll (>= 3.7, < 5.0)
138+
jekyll-mentions (1.6.0)
139+
html-pipeline (~> 2.3)
140+
jekyll (>= 3.7, < 5.0)
141+
jekyll-optional-front-matter (0.3.2)
142+
jekyll (>= 3.0, < 5.0)
143+
jekyll-paginate (1.1.0)
144+
jekyll-readme-index (0.3.0)
145+
jekyll (>= 3.0, < 5.0)
146+
jekyll-redirect-from (0.16.0)
147+
jekyll (>= 3.3, < 5.0)
148+
jekyll-relative-links (0.6.1)
149+
jekyll (>= 3.3, < 5.0)
150+
jekyll-remote-theme (0.4.3)
151+
addressable (~> 2.0)
152+
jekyll (>= 3.5, < 5.0)
153+
jekyll-sass-converter (>= 1.0, <= 3.0.0, != 2.0.0)
154+
rubyzip (>= 1.3.0, < 3.0)
155+
jekyll-sass-converter (1.5.2)
156+
sass (~> 3.4)
157+
jekyll-seo-tag (2.8.0)
158+
jekyll (>= 3.8, < 5.0)
159+
jekyll-sitemap (1.4.0)
160+
jekyll (>= 3.7, < 5.0)
161+
jekyll-swiss (1.0.0)
162+
jekyll-theme-architect (0.2.0)
163+
jekyll (> 3.5, < 5.0)
164+
jekyll-seo-tag (~> 2.0)
165+
jekyll-theme-cayman (0.2.0)
166+
jekyll (> 3.5, < 5.0)
167+
jekyll-seo-tag (~> 2.0)
168+
jekyll-theme-dinky (0.2.0)
169+
jekyll (> 3.5, < 5.0)
170+
jekyll-seo-tag (~> 2.0)
171+
jekyll-theme-hacker (0.2.0)
172+
jekyll (> 3.5, < 5.0)
173+
jekyll-seo-tag (~> 2.0)
174+
jekyll-theme-leap-day (0.2.0)
175+
jekyll (> 3.5, < 5.0)
176+
jekyll-seo-tag (~> 2.0)
177+
jekyll-theme-merlot (0.2.0)
178+
jekyll (> 3.5, < 5.0)
179+
jekyll-seo-tag (~> 2.0)
180+
jekyll-theme-midnight (0.2.0)
181+
jekyll (> 3.5, < 5.0)
182+
jekyll-seo-tag (~> 2.0)
183+
jekyll-theme-minimal (0.2.0)
184+
jekyll (> 3.5, < 5.0)
185+
jekyll-seo-tag (~> 2.0)
186+
jekyll-theme-modernist (0.2.0)
187+
jekyll (> 3.5, < 5.0)
188+
jekyll-seo-tag (~> 2.0)
189+
jekyll-theme-primer (0.6.0)
190+
jekyll (> 3.5, < 5.0)
191+
jekyll-github-metadata (~> 2.9)
192+
jekyll-seo-tag (~> 2.0)
193+
jekyll-theme-slate (0.2.0)
194+
jekyll (> 3.5, < 5.0)
195+
jekyll-seo-tag (~> 2.0)
196+
jekyll-theme-tactile (0.2.0)
197+
jekyll (> 3.5, < 5.0)
198+
jekyll-seo-tag (~> 2.0)
199+
jekyll-theme-time-machine (0.2.0)
200+
jekyll (> 3.5, < 5.0)
201+
jekyll-seo-tag (~> 2.0)
202+
jekyll-titles-from-headings (0.5.3)
203+
jekyll (>= 3.3, < 5.0)
204+
jekyll-watch (2.2.1)
205+
listen (~> 3.0)
206+
jemoji (0.12.0)
207+
gemoji (~> 3.0)
208+
html-pipeline (~> 2.2)
209+
jekyll (>= 3.0, < 5.0)
210+
kramdown (2.3.2)
211+
rexml
212+
kramdown-parser-gfm (1.1.0)
213+
kramdown (~> 2.0)
214+
liquid (4.0.4)
215+
listen (3.8.0)
216+
rb-fsevent (~> 0.10, >= 0.10.3)
217+
rb-inotify (~> 0.9, >= 0.9.10)
218+
mercenary (0.3.6)
219+
minima (2.5.1)
220+
jekyll (>= 3.5, < 5.0)
221+
jekyll-feed (~> 0.9)
222+
jekyll-seo-tag (~> 2.1)
223+
minitest (5.20.0)
224+
mutex_m (0.2.0)
225+
nokogiri (1.15.5-x86_64-linux)
226+
racc (~> 1.4)
227+
octokit (4.25.1)
228+
faraday (>= 1, < 3)
229+
sawyer (~> 0.9)
230+
pathutil (0.16.2)
231+
forwardable-extended (~> 2.6)
232+
public_suffix (4.0.7)
233+
racc (1.7.3)
234+
rb-fsevent (0.11.2)
235+
rb-inotify (0.10.1)
236+
ffi (~> 1.0)
237+
rexml (3.2.6)
238+
rouge (3.26.0)
239+
ruby2_keywords (0.0.5)
240+
rubyzip (2.3.2)
241+
safe_yaml (1.0.5)
242+
sass (3.7.4)
243+
sass-listen (~> 4.0.0)
244+
sass-listen (4.0.0)
245+
rb-fsevent (~> 0.9, >= 0.9.4)
246+
rb-inotify (~> 0.9, >= 0.9.7)
247+
sawyer (0.9.2)
248+
addressable (>= 2.3.5)
249+
faraday (>= 0.17.3, < 3)
250+
simpleidn (0.2.1)
251+
unf (~> 0.1.4)
252+
terminal-table (1.8.0)
253+
unicode-display_width (~> 1.1, >= 1.1.1)
254+
typhoeus (1.4.1)
255+
ethon (>= 0.9.0)
256+
tzinfo (2.0.6)
257+
concurrent-ruby (~> 1.0)
258+
unf (0.1.4)
259+
unf_ext
260+
unf_ext (0.0.9.1)
261+
unicode-display_width (1.8.0)
262+
webrick (1.8.1)
263+
264+
PLATFORMS
265+
x86_64-linux
266+
267+
DEPENDENCIES
268+
github-pages (~> 228)
269+
http_parser.rb (~> 0.6.0)
270+
tzinfo (>= 1, < 3)
271+
tzinfo-data
272+
wdm (~> 0.1.1)
273+
webrick (~> 1.8)
274+
275+
BUNDLED WITH
276+
2.4.21

‎README.md

+8-2
Original file line numberDiff line numberDiff line change
@@ -4,5 +4,11 @@ The source code to the [learnlib.de](https://learnlib.de/) website.
44

55
## Build instructions
66

7-
* For the general configuration / installation, see the [GitHub Pages documentation](https://docs.github.com/en/pages).
8-
* After having installed `ruby`, `bundler`, and `jekyll`, simply run `jekyll serve` in the main directory to build the page locally.
7+
You may either follow the [GitHub Pages documentation](https://docs.github.com/en/pages) to setup your Jekyll environment or follow the following steps which aim at a local development environment.
8+
9+
* Install `ruby` and `ruby-bundler` via your paket manager
10+
* If your distribution does not provide a separate `ruby-bundler` package you may alternatively install the `rubygems` package and run `gem install bundler`
11+
* In the main repository folder, run `bundle config set --local path '~/.local/share/gem'`
12+
* In the main repository folder, run `bundle install`
13+
* Add `~/.local/share/gem/ruby/3.0.0/bin` (path may change due to your ruby version) to your `$PATH` variable.
14+
* In the main repository folder run `jekyll serve` to build the page locally.

0 commit comments

Comments
 (0)