プログラミング環境（学生用）

Transcription

1 プログラミング環境 ( 学生用 ) 山下伸夫 山下伸夫プログラミング環境 ( 学生用 ) / 24

2 プログラミング環境とは プログラミングするために必要な道具だてのことをいいます. 最低限必要なものは, OS 入り計算機言語処理系エディタ です. ここでは, Ubuntu LTS デスクトップ 64bit The Glasgow Haskell Compiler Emacs とういう道具だてを整えます. 山下伸夫プログラミング環境 ( 学生用 ) / 24

3 その前に 授業およびその予習復習で使うプログラミング環境は配布した USB-HDD に作成します.OS や必要な基盤については調整済みですが以下に注意してください. USB-HDD は貸与品 ( 卒業前に回収します ) ですので取り扱いに注意してください. 授業では常にこの USB-HDD の最新環境を使います. 授業には必ず持ってきてください. 環境は徐々に蓄積していきます. 一気にすべての蓄積行うことは困難です. 紛失しないで下さい. 接続ケーブルも予備がありません. 紛失しないでください. 紛失したら弁償してもらいます. 山下伸夫プログラミング環境 ( 学生用 ) / 24

4 USB-HDD の取扱 USB-HDD は精密機械です. 注意して扱わないと壊れて, システムやデータが使えなくなります. 固いものにぶつけたり, 落したりして衝撃が加わると壊れます. PC の電源が ON 状態で,USB を抜き差しすると壊れます. 壊したら弁償してもらいます. 自分で環境を 1 から作り直してもらいます ( 相当面倒な作業です ). 山下伸夫プログラミング環境 ( 学生用 ) / 24

5 USB-HDD からのシステム起動 1 PC の電源が OFF になっていることを確認する. 2 USB-HDD を接続する. 3 F12 のキーの位置をあらかじめ確認する. 4 電源を ON にする. 5 画面に Fujitsu のロゴマークが表示されて, 画面下部に起動メニュー [F12] という表示が消えないうちに F12 キーを 表示は数秒で消えてしまいますので見逃さないように. 6 起動メニューから矢印キーを使って,Hard Disk: LaCie Rikiki USB を選択し,Enter キーを押す. 7 GNU Grub のメニュー画面が表示されますが, 放置すると,10 秒後に 起動が始まります. 8 Ubuntu LTS のログイン画面がでます. 山下伸夫プログラミング環境 ( 学生用 ) / 24

6 システムのシャットダウン 電源を OFF にするときはシステムのシャットダウンを行います. システムをシャットダウンせずに電源を強制 OFF すると USB-HDD が壊れます. シャットダウン手順 画面右上の電源アイコン ( 歯車のような形 ) をクリック シャットダウン の大きなアイコンをクリック電源が切れるまで待つ 山下伸夫プログラミング環境 ( 学生用 ) / 24

7 個人用の環境構築手順概要 自分用アカウント作成自分用環境構築 山下伸夫プログラミング環境 ( 学生用 ) / 24

8 自分用アカウント作成手順 管理者アカウントでログインして自分用アカウントを作成します. ログイン 管理者アカウント : 管理者パスワード : ソフトウェアの更新 : システム設定 ユーザーアカウント パスワードは passwd コマンドで設定する. 山下伸夫プログラミング環境 ( 学生用 ) / 24

9 ユーザーアカウント作成詳細 ロック解除 [+] terminal [ 管理者 ] Nobuo Yamashita ny rikiki% sudo su - root@rikiki:~# passwd ny 新しい UNIX パスワードを入力してください : 新しい UNIX パスワードを再入力してください : passwd: パスワードは正しく更新されました root@rikiki:~# exit ログアウト rikiki% 山下伸夫プログラミング環境 ( 学生用 ) / 24

10 自分用アカウントでログイン ログアウト 画面右上電源 ( 歯車の形の ) アイコンをクリックログアウト ログアウトアイコンクリック確認画面がでたらログアウトボタンをクリック 自分用アカウントでログイン 自分のユーザー名 ( アカウント名 ) 自分のパスワード 山下伸夫プログラミング環境 ( 学生用 ) / 24

11 ネットワーク設定 ネットワーク設定固定 IP 山下伸夫プログラミング環境 ( 学生用 ) / 24

12 ソフトウェアアップデート 起動とランチャー登録 dash アイコンクリック update と入力 ソフトウェアの更新 アイコンをクリック [ 今すぐインストールする ] ランチャーにある ソフトウェア更新 アイコンを右クリック Launcher に登録 を選択 このコンピューターのソフトウェアは最新です [OK] をクリック 山下伸夫プログラミング環境 ( 学生用 ) / 24

13 設定 (1) ディスクアイコンを右クリック ランチャーへの登録を解除 を選択 システム設定アイコンクリック 画面の明るさとロック をクリック 次の時間アイドル状態が続けば顔面をオフにする しない を選択 [ すべての設定 ] をクリック セキュリティとプライバシー をクリック ファイルとアプリケーション をクリックファイルとアプリケーションの利用状況を記録 オフ [ 利用履歴データをクリア ] ボタンをクリック全期間を選択 [OK] ボタンをクリック確認 [ はい ] 山下伸夫プログラミング環境 ( 学生用 ) / 24

14 設定 (2) 端末起動とランチャー登録 dash アイコンクリック term と入力 端末 アイコンをクリックランチャーにある端末アイコンを右クリック Launcher に登録 を選択 キーバインドの調整 ランチャーの端末アイコンクリック最大化 dash アイコンクリック tweak と入力 tweak tool のアイコンクリックタイピングをクリック Ctrl キーの位置 Caps Lock を Ctrl として扱う X サーバーを終了させるためのキーシーケンス Ctrl-Alt-Backspace 山下伸夫プログラミング環境 ( 学生用 ) / 24

15 設定 (3) ディレクトリ名の英語化 ls コマンド 日本語ディレクトリ名があることを確認 LANG=C xdg-user-dirs-gtk-update Don t ask me this again にチェック Update をクリック ls コマンド 日本語ディレクトリ名がなくなったことを確認 山下伸夫プログラミング環境 ( 学生用 ) / 24

16 設定 (4) ログインシェル環境の切替 bash zsh chsh コマンドを使う. パスワードの入力は画面には現れないことに注意!! chsh パスワード : ny のログインシェルを変更中新しい値を入力してください 標準設定値を使うならリターンを押してくださいログインシェル [/bin/bash]: /bin/zsh ny123456@rikiki:~$ 山下伸夫プログラミング環境 ( 学生用 ) / 24

17 設定 (5) ログインシェルが変更されたことを確認 ログアウト再ログイン端末起動プロンプトが変化したことを確認 左プロンプト ( 入力促進記号 ) rikiki% 右プロンプト ( 現在のディレクトリ ) ~ 山下伸夫プログラミング環境 ( 学生用 ) / 24

18 Open SSH Sever のインストール これ以降, 端末 でのコマンド入力の実例では rikiki% はプロンプトです. これはシステムが表示します. コマンドは, うしろの部分でキーボードから半角文字をタイプし,[Enter] キーを押せば入力できます. rikiki% sudo apt-get install openssh-server 山下伸夫プログラミング環境 ( 学生用 ) / 24

19 Chromium Browser 端末起動後,chromium-browser コマンドランチャーに登録 山下伸夫プログラミング環境 ( 学生用 ) / 24

20 ghc のインストール rikiki% cd rikiki% mkdir src rikiki% cd src rikiki% tar xvf /usr/local/src/ghc * rikiki% cd ghc rikiki%./configure --prefix=$home/ghc いろいろ表示される... rikiki% make install... いろいろ表示される. rikiki% cd rikiki% ln -s ghc ghc 山下伸夫プログラミング環境 ( 学生用 ) / 24

21 cabal-install のインストール rikiki% cd rikiki% cd src rikiki% tar xvf /usr/local/src/cabal-install tar.gz... いろいろ表示される... rikiki% cd cabal-install rikiki%./bootstrap.sh... いろいろ表示される... 山下伸夫プログラミング環境 ( 学生用 ) / 24

22 ghc-mod のインストール rikiki% cd rikiki% cabal update... いろいろ表示される... rikiki% cabal install happy alex... いろいろ表示される... rikiki% cabal install ghc-mod... いろいろ表示される... 山下伸夫プログラミング環境 ( 学生用 ) / 24

23 Emacs の設定 Emacs の起動とランチャーに登録 端末から emacs ランチャーに登録 Emacs の package インストール M-x (Alt-x のこと ) list-packages-list auto-save-buffers-enhanced $HOME/.emacs.d/init.el を編集する. 該当箇所をアンコメントイン (uncomment in) haskell-mode ghc 山下伸夫プログラミング環境 ( 学生用 ) / 24

24 pandoc のインストール rikiki% cd rikiki% mkdir pandoc rikiki% cd pandoc rikiki% cabal sandbox init --sandbox.... いろいろ表示される... rikiki% cabal update... いろいろ表示される... rikiki% cabal install pandoc... いろいろ表示される... 山下伸夫プログラミング環境 ( 学生用 ) / 24