Organization のWebサイトについて

[Seasawher]

@aconite-ac @haruhisa-enomoto

Web サイトを GitHub Pages で作ろうと思うのですが，どういう風な外観にしたいなどありますか？

何もなければ私のおもいつきで仮案を作っていきます

仮案ができた後で意見をくださってもOKです

[aconite-ac]

ありがとうございます！
Webデザインについてはかなり疎いので、自分はKitamadoさんにお任せしようと思います。
仮案や途中経過などをいただいた場合はコメントいたします。

[haruhisa-enomoto]

私も同様の感じでおまかせしたいと思います。

[s-taiga]

ありがとうございます！
外観と少し離れた感じかもしれませんが、ロゴとかあると素敵だとちょっと思いました。

[Seasawher]

Wiki風にしようかなと思ってたのですが，ロゴを入れる場所がないので考え直します

もっとおしゃれな感じの方がいいですよね

[s-taiga]

早速の作成ありがとうございます！現状でもおしゃれでとても素敵です。
言い出しといてなんですが、ロゴはあくまであったらなお良いかも、くらいなのでそこまで詰め込まないでもよい気がします。
ただ、もし入れるなら個人的には上記画像の「Hello World」を中央寄せにしてその上にでかでかと置いてあるとかっこいいような気がしています。

[Seasawher]

@haruhisa-enomoto @aconite-ac

確認ですが，勉強会の告知をするブログ機能はなくてもいいですよね

それは公式Youtubeチャンネルとか，Xアカウントを作成してやる方がいいかなと思います

あくまで団体の概要と，日本語リソースへのリンクがあればよいという理解です

[aconite-ac]

ほぼ同感で、団体の概要・日本語リソースへのリンク・Discussionタブへのリンクがあれば十分だと思っています。
Discussionタブのお知らせカテゴリがありますし、勉強会ほかイベントの告知はそこで出来ると思います。

[haruhisa-enomoto]

同じく同感です。

[Seasawher]

@lean-ja

途中経過です．

[aconite-ac]

作成お疲れ様です。
第一印象で左上のオブジェクトの役割が被っているように見えましたが、
ロゴとコミュニティ名なので被ってなかったですね…。失礼しました。

統一感のある良いデザインだと思います！

[Seasawher]

時間かかっていてすみません，なんとかこの土日の間にお見せできるクオリティにもっていけるといいのですが…

[Seasawher]

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

だいぶできてきました．まだ粗い作りですが，大枠は固まったと思います．

zola で juice テーマを改変して使用しています．モバイル端末でも見られるようにする予定です．

ローカルにプレビューして確認していただきたいのですが，まだ少し修正するところがある（theme を git submodule で追加しないといけないっぽいので，その作業がしたいです．あと，README にビルドの手順を書かないといけない）ので，もう少しだけお待ちいただければと思います．

[Seasawher]

@lean-ja

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

READMEにビルド手順を記載しました．ご確認お願いします．

(lean-ja にメンションしているので，メンバー全員に通知が行っていると思っているのですが，ちゃんと通知が来ていますか？)

追記：既知の問題点として，次があります

• リンク集に math in type theory 日本語訳を追加する
• ディスコードサーバをリンク集に追加し，lean のためのサーバではないことを注意する

[Seasawher]

よく考えると、website リポジトリからビルドするとWebサイトのURLがおかしくなりますね

後で対策を考えます…

[Seasawher]

@aconite-ac @s-taiga

いろいろと問題はありますが，ローカルでプレビューして確認してみていただきたいです

もしプレビューが難しければ，contens ディレクトリと設定ファイルの中にテキストがあるので，そこだけでもお願いします

[aconite-ac]

git pull --recurse-submodules(submoduleをpullするコマンド？)が自分の環境で動作せずビルドに苦戦しましたが、
なんとかビルドできましたので確認いたしました。

デザインは概ね良いと思います。素敵なウェブサイトです…！
画像・文面に関していくつか指摘点がありますので、そちらはlean-ja/websiteリポジトリのIssuesに書かせていただきます。

[Seasawher]

確認ありがとうございます
README も更新が必要ですね

[Seasawher]

いったんクローズします

[haruhisa-enomoto]

別件で申し訳ありません。現在lean-jaのDiscussionsを開くとここが目立つように強調表示されているのですが、これは意図した挙動でしょうか？

[Seasawher]

意図していない挙動です。
たぶん、スレッドが伸びてるので自動でピン留めされたのだと思います。

Unpin しておきました。