Windows Server に対して手動でプロキシ設定を行なう場合に、ユーザ毎ではなくマシン全体で共通の値を設定する方法を記載します。 Local Group Policy の編集 gpedit を起動します。 「Computer Configuration」→「Administrative Template」→「Windows Components」→「Inter

値のセット/リセット VAR=128 # セット VAR= # リセット # unset VAR # リセットの別の方法 (変数の消去。unsetは関数の消去もできます) = の左右に空白が入るとエラーになります。 sample.sh #!/bin/sh TODAY=`date` # TODAY = `date` # エラー echo "Date: `date`, $TODAY" 実行例 $...

サンプル Android アプリケーションを作ることで、2017/04/17 現在における基本的な開発手順を把握します。 Android Studio インストール 事前に JDK をインストールしてから、こちらのページを参照して Android Studio をダウンロードおよびインストールします。 サンプルアプリケーションの作成 Start a new Android Stu

WSGI (Web Server Gateway Interface) は PSGI に影響を与えた python の標準化された Web インターフェースです。 Apache + mod_wsgi uwsgi WSGI の実装としては上記二つの選択肢があります。前者は Apache に依存しており更新も活発ではないため、後者の uws

レイアウトおよび部分テンプレートはどちらもテンプレート (*.html.erb) に共通の要素をまとめておき、任意のテンプレートから利用できるようにしておくための仕組みです。フッターやヘッダーといった大枠はレイアウト、小さなパーツは部分テンプレートというイメージで使い分けましょう。 レイアウトの使用方法 クラス毎に指定する方法と、アクション毎に指定する方法があります。 app/views/layo...