新人研修でMarkdownをベースにWebページとして情報を公開するというのができないか、と思い、ちょうど今使っているGitLabのGit Pagesというものを使えないかと思ったのですこし見てみました。とりあえずはこちらを参考に。
とりあえず……20分ほどの作業で「ファイルをコミット、プッシュすれば自動的にファイル公開の仕組みが作動して公開される」というところまではできました。
公開するものはGitLabのプロジェクトとして作成され、URLに拘らなければ別にそのまま一般公開もできますし、対象を絞るならプロジェクトの参加メンバーだけに限定もできます。
ですが、これはあくまで静的なページを公開する仕組みで、Markdownからの変換をこれにからめるにはGitbookなどの用意や仕掛けが必要なんですね……。このあたりは別途調べてやってみるしか……ですが。少なくとも新人にはちょっと荷が重いのでこの線は無しだな……。
備忘録。
C#で下記のように設定情報を保存した場合に保存される場所は、ユーザーフォルダの下です。が、そのフォルダ名にはハッシュ値のような英数字の羅列が入っています。そして、1つのアプリについて数個のフォルダができていることがあります。これ、なんなんだろう？と思っていたのですが、謎が解けました。
Properties.Settings.Default["設定項目1"] = settingValue1;
Properties.Settings.Default.Save();
パスに含まれるハッシュ値は下記の情報を元に作っているようです。
普通に作るアプリだと厳密名なんて付けないので、パスになります。ということは動かしたパスが違えば設定ファイルは別々になりますし、DebugとReleaseでそれぞれVisual Studioから実行すれば、それだけで2つのフォルダーが出来るわけですね。なるほど。
上記の事は下記サイトに記載されていました。
上記サイトはVisual Studio 2005でさらにVisual Basic .NETのものなので、Windows10も無かった頃の話で少しパスが違うのですが、設定ファイル「user.config」付近は
<appdomainname>_<eid>_<hash>\<verison>
で、やはりハッシュのようです。で、ハッシュ情報の生成については
<hash> is a SHA1 hash of evidence gathered from the CurrentDomain, in the following order of preference:
- StrongName
- URL
If neither of these is available, use the .exe path.
とのこと。なるほどね。同じような質問はstackoverflowにもあったようです。
参考まで。
話題のメモ。
会社の若手さんと不具合の件で話していて
という話から、JavaScriptのsetMonthという「日付情報の月だけを特定の月に変えた情報を取得する」という処理の話に。下記のサイトでその仕様と説明を見たのですが……
const event = new Date('August 19, 1975 23:15:30'); event.setMonth(3); console.log(event);
なぜか上記の処理で「4月19日」になるそうな……え？3って指定したのに！？
これですが、JavaScriptで月を表す数値を指定する場合は、0オリジン、要するに1月がゼロ、2月が1……という決まりで、0～11で指定するのだそうです。なんで？（笑）。たしかにECMAScriptの仕様を見ると
あぁ……。そしてその辺りの質問や回答も
こたえ「仕様です」。ブログを書いてる人も
「伝統的にそう」だそうで。そして上記サイトによるとJavaScriptの開発者の人は「JavaのDateに倣った」ということをおっしゃってるそうな。そうなんだ。Javaとは違うのだよ、って言われてるのに結局根元はJavaを参考にしとんのかい！！ww
@jasonstehle In case it helps (it doesn't for most), JS's Date is a copy of Java's JDK1.0 (1995) java.util.Date. Made it look like Java...
— BrendanEich (@BrendanEich) 2014年6月25日
これですが、どうやら英語圏の方々は日本人のように数字で月を指定しないことになれており、0で始まろうが別に違和感を持たないのかもしれないという話がどこかで出ていました。なるほど。JAN、FEB、MAR、APR……。略称で書けば別に面倒でもないし。逆に数字でいわれることの方が、日本人に対して「今度の如月3日だけどさ」みたいな言い方をするような違和感を感じるのかも、というようなことを言っている人もいました。なるほどなるほど。
でも、判りづらいですよJavaScript。もう少し開発者フレンドリーにやってくださいよ、というのは一日本人として思うわけです。
