https://github.com/lean-ja/lean-ja.github.io

lean-ja の団体トップページ
https://github.com/lean-ja/lean-ja.github.io

juice organization-page zola

Last synced: 2 days ago
JSON representation

lean-ja の団体トップページ

• Host: GitHub
• URL: https://github.com/lean-ja/lean-ja.github.io
• Owner: lean-ja
• License: mit
• Created: 2023-09-04T11:57:55.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2024-06-18T10:42:09.000Z (7 months ago)
• Last Synced: 2024-06-18T12:08:12.212Z (7 months ago)
• Topics: juice, organization-page, zola
• Language: HTML
• Homepage: https://lean-ja.github.io/
• Size: 114 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• best-of-lean4 - GitHub

README

        
# README

lean ja のウェブサイトです．

## 開発方法

ローカルにプレビューする方法を書きます.

**STEP1** このサイトは Rust 製の静的サイトジェネレータである，Zola を用いています．まず[インストール手順](https://www.getzola.org/documentation/getting-started/installation/)に従って Zola をインストールします．

**STEP2** このリポジトリを clone します．下記コマンドを実行してください．

```bash

git clone --recursive https://github.com/lean-ja/website.git

```

`--recursive` フラグは，含まれている　git submodule も同時に clone するために必要です．このリポジトリは，Zola の [juice テーマ](https://juice.huhu.io/)を submodule 経由で利用しています．

**STEP3** `zola serve` を実行し，`Web server is available at ...` とあるところをクリックします．