graffiti on the web 以前、macでのhostsファイルの編集方法を紹介しましたが、hostsの切り替えに便利なツールがありましたので、それを紹介します。
hoster
このソフトを使えば、ターミナル上から、hostsファイルを編集する必要がなく、GUIの操作だけでhostsを変更することが可能です。頻繁にhostsの設定を変更する必要がある方にとっては、とても重宝するのではないでしょうか。…
//ファイル一覧を表示するパスを指定する
$path = “../member”;
//ディレクトリを表示する
print(“ディレクトリ「“.$path.”」の一覧
“); //文法 disk_free_space( パス ) //disk_free_spaceは指定したパスに対応するドライブの空き容量をバイト数で //返す print(“ドライブの空き容量 “.disk_free_space($path).”バイト
“); //文法 disk_total_space( パス ) //disk_total_spaceは指定したパスに対応するドライブの使用容量をバイト数で返す // print(“ドライブの使用容量 “.disk_total_space($path).”バイト
“); 参考サイト：http://allabout.co.jp/gm/gc/47433/
“); //文法 disk_free_space( パス ) //disk_free_spaceは指定したパスに対応するドライブの空き容量をバイト数で //返す print(“ドライブの空き容量 “.disk_free_space($path).”バイト
“); //文法 disk_total_space( パス ) //disk_total_spaceは指定したパスに対応するドライブの使用容量をバイト数で返す // print(“ドライブの使用容量 “.disk_total_space($path).”バイト
“); 参考サイト：http://allabout.co.jp/gm/gc/47433/
この投稿へのコメント
コメントはまだありません。