第1回

第1回

gitについて


 gitとは、ファイルのバージョン管理が簡単にできるツールである。
 gitで管理しているファイルであれば、コンピュータ上で、ファイルの編集管理ができるため、
 編集前のファイルを残したまま、新しく編集したファイルを保存することができる。
 
 したがって、gitではつぎのような事が可能となっている。


リポジトリ(repository)


 リポジトリとは、
 ファイルやディレクトリを入れて保存しておく貯蔵庫のことである。
 Gitにおけるリポジトリは以下の2種類に分かれている。

 2種類のリポジトリに分けることで、
 普段の作業はそれ ぞれのユーザーが手元のローカルリポジトリで行い、
 作業内容を共有するときにリモートリポジトリで公開するという使い方になる。
 このため、リモートリポジトリを介して他のユーザーの作業内容を把握する事が可能である。
 

コミット(commit)


 コミットとは、ファイルやディレクトリの編集作業を
 ローカルリポジトリに記録するために必要な操作のことである。
 コミットを実行するとファイルを編集した日時を記録したファイルが生成される。

 実際、この講義で勉強している、VScodeを使用した後、毎回このようにコミットをしている。
 
 
 
 


 コミットを実行するごとにファイルが生成され、
 時系列順にならんで格納されるため、ファイルを編集した履歴やその内容を確認する事ができる。

ワークツリーとインデックス


 ユーザが編集している作業中のディレクトリのことをワークツリーという。
 また、作業場所であるワークツリーと、保存場所であるローカルリポジトリの間には、
 インデックスという中間領域が存在する。

 Gitの使用上、ワークツリーで編集したファイルをコミットしたい場合は、
 一度インデックスに登録しなければならない。
 編集したファイルをリポジトリにコミットする前に、インデックスへ登録して、
 仮置き(これをaddという)しておくようなイメージである。

 コミット予定のファイルをインデックスに仮置きしておくことにより、
 後からまとめて確認した上で、コミットできるので、
 編集したファイルのコミットし忘れなどを防ぐ事ができる他、
 余分なファイルを含めずにコミットできる。

  ここまでの用語を図で表すとこのようになる
  

htmlについて


 HTMLとは、ハイパーテキスト・マークアップ・ランゲージ(Hyper Text Markup Language)
 の略である。
 マークアップと言われる文章構成の指示をコンピュータが理解できる形で
 表した言語のことである。
 webサイトのほどんどがHTMLで構成されている。
 HTMLの指示によって、
 「見出し」を作ったり、文字の太さ・色・背景色などで装飾することができる。

 HTMLを理解する上で、重要な用語となるのが「タグ」・「要素」である。
 「タグ」とは、文字(テキスト)に意味を与える印のようなものである。
 また「要素」とは、文字列などをタグで囲んだ情報の単位ことをいう。

HTMLタグの種類


HTMLでできる様々なこと

画像の表示の仕方

 画像を表示したい場合は、以下を入力する
 <img src="写真のファイル名"width="好みの倍率">

 実際にこの写真を挿入してみた(voyageのロコモコ丼…美味しかったです)

 

 これを挿入するには

 <src="./images/ロコモコ.jpg"width="50%">

 と入力する

 

リンクの表示の仕方

 リンクを表示したい場合は、以下を入力する

  <a href="挿入したいリンク">表示名</a>

 実際に表示させてみた

 神奈川大学HP

 これを挿入するには

 <a href="https://www.kanagawa-u.ac.jp/">神奈川大学HP</a>

 と入力する

 

YouTubeの貼り付けの仕方

 YouTubeの貼り付けをするには、
 YouTubeにてまず貼り付けたい動画の「共有」をクリック

 

 次に、「埋め込む」をクリック

 

 そして、出てきた埋め込みコードをコピーする
 (この時、開始位置を設定することもできる)

 

 そして、以下を入力
 <div class="video">
 コピーした埋め込みコード
 </div>

 実際に表示させてみた

 

 これを挿入するには

 <div class="video">"https;//kanagawa-u.以下省略"</div>

 と入力する

参考文献

【初心者向け】Gitとは何なのか。基本用語やその仕組みをまとめています。

HTMLとは?初心者向けにタグの種類と使い方の基本を解説!

YouTube動画をWebページに埋め込むorリンクを貼り付けるときの便利テクニック

神奈川大学HP