Skip to content

Commit 400300e

Browse files
fvlankveltfvlankvelt
committed
Initial site - just-the-docs
1 parent ed44cdf commit 400300e

File tree

7 files changed

+205
-0
lines changed

7 files changed

+205
-0
lines changed

Diff for: ‎404.html

+24
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
---
2+
layout: default
3+
---
4+
5+
<style type="text/css" media="screen">
6+
.container {
7+
margin: 10px auto;
8+
max-width: 600px;
9+
text-align: center;
10+
}
11+
h1 {
12+
margin: 30px 0;
13+
font-size: 4em;
14+
line-height: 1;
15+
letter-spacing: -1px;
16+
}
17+
</style>
18+
19+
<div class="container">
20+
<h1>404</h1>
21+
22+
<p><strong>Page not found :(</strong></p>
23+
<p>The requested page could not be found.</p>
24+
</div>

Diff for: ‎Gemfile

+30
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
source "https://rubygems.org"
2+
3+
# Hello! This is where you manage which Jekyll version is used to run.
4+
# When you want to use a different version, change it below, save the
5+
# file and run `bundle install`. Run Jekyll with `bundle exec`, like so:
6+
#
7+
# bundle exec jekyll serve
8+
#
9+
# This will help ensure the proper Jekyll version is running.
10+
# Happy Jekylling!
11+
gem "jekyll", "~> 3.8.5"
12+
13+
# This is the default theme for new Jekyll sites. You may change this to anything you like.
14+
gem "just-the-docs"
15+
16+
# If you want to use GitHub Pages, remove the "gem "jekyll"" above and
17+
# uncomment the line below. To upgrade, run `bundle update github-pages`.
18+
# gem "github-pages", group: :jekyll_plugins
19+
20+
# If you have any plugins, put them here!
21+
group :jekyll_plugins do
22+
gem "jekyll-feed", "~> 0.6"
23+
end
24+
25+
# Windows does not include zoneinfo files, so bundle the tzinfo-data gem
26+
gem "tzinfo-data", platforms: [:mingw, :mswin, :x64_mingw, :jruby]
27+
28+
# Performance-booster for watching directories on Windows
29+
gem "wdm", "~> 0.1.0" if Gem.win_platform?
30+

Diff for: ‎Gemfile.lock

+72
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,72 @@
1+
GEM
2+
remote: https://rubygems.org/
3+
specs:
4+
addressable (2.6.0)
5+
public_suffix (>= 2.0.2, < 4.0)
6+
colorator (1.1.0)
7+
concurrent-ruby (1.1.5)
8+
em-websocket (0.5.1)
9+
eventmachine (>= 0.12.9)
10+
http_parser.rb (~> 0.6.0)
11+
eventmachine (1.2.7)
12+
ffi (1.10.0)
13+
forwardable-extended (2.6.0)
14+
http_parser.rb (0.6.0)
15+
i18n (0.9.5)
16+
concurrent-ruby (~> 1.0)
17+
jekyll (3.8.5)
18+
addressable (~> 2.4)
19+
colorator (~> 1.0)
20+
em-websocket (~> 0.5)
21+
i18n (~> 0.7)
22+
jekyll-sass-converter (~> 1.0)
23+
jekyll-watch (~> 2.0)
24+
kramdown (~> 1.14)
25+
liquid (~> 4.0)
26+
mercenary (~> 0.3.3)
27+
pathutil (~> 0.9)
28+
rouge (>= 1.7, < 4)
29+
safe_yaml (~> 1.0)
30+
jekyll-feed (0.11.0)
31+
jekyll (~> 3.3)
32+
jekyll-sass-converter (1.5.2)
33+
sass (~> 3.4)
34+
jekyll-watch (2.1.2)
35+
listen (~> 3.0)
36+
just-the-docs (0.2.3)
37+
jekyll (~> 3.8.5)
38+
rake (~> 12.3.1)
39+
kramdown (1.17.0)
40+
liquid (4.0.3)
41+
listen (3.1.5)
42+
rb-fsevent (~> 0.9, >= 0.9.4)
43+
rb-inotify (~> 0.9, >= 0.9.7)
44+
ruby_dep (~> 1.2)
45+
mercenary (0.3.6)
46+
pathutil (0.16.2)
47+
forwardable-extended (~> 2.6)
48+
public_suffix (3.0.3)
49+
rake (12.3.2)
50+
rb-fsevent (0.10.3)
51+
rb-inotify (0.10.0)
52+
ffi (~> 1.0)
53+
rouge (3.3.0)
54+
ruby_dep (1.5.0)
55+
safe_yaml (1.0.5)
56+
sass (3.7.3)
57+
sass-listen (~> 4.0.0)
58+
sass-listen (4.0.0)
59+
rb-fsevent (~> 0.9, >= 0.9.4)
60+
rb-inotify (~> 0.9, >= 0.9.7)
61+
62+
PLATFORMS
63+
ruby
64+
65+
DEPENDENCIES
66+
jekyll (~> 3.8.5)
67+
jekyll-feed (~> 0.6)
68+
just-the-docs
69+
tzinfo-data
70+
71+
BUNDLED WITH
72+
2.0.1

Diff for: ‎_config.yml

+41
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,41 @@
1+
# Welcome to Jekyll!
2+
#
3+
# This config file is meant for settings that affect your whole blog, values
4+
# which you are expected to set up once and rarely edit after that. If you find
5+
# yourself editing this file very often, consider using Jekyll's data files
6+
# feature for the data you need to update frequently.
7+
#
8+
# For technical reasons, this file is *NOT* reloaded automatically when you use
9+
# 'bundle exec jekyll serve'. If you change this file, please restart the server process.
10+
11+
# Site settings
12+
# These are used to personalize your new site. If you look in the HTML files,
13+
# you will see them accessed via {{ site.title }}, {{ site.email }}, and so on.
14+
# You can create any custom variable you would like, and they will be accessible
15+
# in the templates via {{ site.myvariable }}.
16+
title: Scala Infer
17+
email: [email protected]
18+
description: >- # this means to ignore newlines until "baseurl:"
19+
Scala-infer brings probabilistic programming to scala.
20+
baseurl: "" # the subpath of your site, e.g. /blog
21+
url: "" # the base hostname & protocol for your site, e.g. http://example.com
22+
twitter_username: jekyllrb
23+
github_username: jekyll
24+
25+
# Build settings
26+
markdown: kramdown
27+
theme: "just-the-docs"
28+
plugins:
29+
- jekyll-feed
30+
31+
# Exclude from processing.
32+
# The following items will not be processed, by default. Create a custom list
33+
# to override the default setting.
34+
# exclude:
35+
# - Gemfile
36+
# - Gemfile.lock
37+
# - node_modules
38+
# - vendor/bundle/
39+
# - vendor/cache/
40+
# - vendor/gems/
41+
# - vendor/ruby/

Diff for: ‎_posts/2019-03-15-welcome-to-jekyll.markdown

+25
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
---
2+
layout: post
3+
title: "Welcome to Jekyll!"
4+
date: 2019-03-15 21:40:25 +0100
5+
categories: jekyll update
6+
---
7+
You’ll find this post in your `_posts` directory. Go ahead and edit it and re-build the site to see your changes. You can rebuild the site in many different ways, but the most common way is to run `jekyll serve`, which launches a web server and auto-regenerates your site when a file is updated.
8+
9+
To add new posts, simply add a file in the `_posts` directory that follows the convention `YYYY-MM-DD-name-of-post.ext` and includes the necessary front matter. Take a look at the source for this post to get an idea about how it works.
10+
11+
Jekyll also offers powerful support for code snippets:
12+
13+
{% highlight ruby %}
14+
def print_hi(name)
15+
puts "Hi, #{name}"
16+
end
17+
print_hi('Tom')
18+
#=> prints 'Hi, Tom' to STDOUT.
19+
{% endhighlight %}
20+
21+
Check out the [Jekyll docs][jekyll-docs] for more info on how to get the most out of Jekyll. File all bugs/feature requests at [Jekyll’s GitHub repo][jekyll-gh]. If you have questions, you can ask them on [Jekyll Talk][jekyll-talk].
22+
23+
[jekyll-docs]: https://jekyllrb.com/docs/home
24+
[jekyll-gh]: https://github.com/jekyll/jekyll
25+
[jekyll-talk]: https://talk.jekyllrb.com/

Diff for: ‎about.md

+7
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
---
2+
layout: page
3+
title: About
4+
permalink: /about/
5+
---
6+
7+

Diff for: ‎index.md

+6
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
---
2+
# Feel free to add content and custom Front Matter to this file.
3+
# To modify the layout, see https://jekyllrb.com/docs/themes/#overriding-theme-defaults
4+
5+
layout: home
6+
---

0 commit comments

Comments
 (0)