How do I grab an INI value within a shell script?
I have a parameters.ini file, such as: [parameters.ini] database_user = user database_version = 20110611142248 I want to read in and use the database version specified in the parameters.ini file from within a bash shell script so I can process it. #!/bin/sh # Need to get database version from parameters.ini file to use in script php app/console doctrine:migrations:migrate $DATABASE_VERSION How wou
ゑBLOG: PuTTYごった煮版 レジストリ<->INIファイルコンバータ
そういえばPuTTYごった煮版を2ちゃんで初めて公開した頃にレジストリファイルからINIファイルに変換するスクリプトを作って公開していたんですが、肝心のうちのサイトでは一言もふれていなかったようです(^^;。 逆のINIファイルからレジストリファイルに変換するスクリプトも同梱してありますので適宜使い分けてください。 でも、このスクリプトって公開以来一度もメンテしていないんですよね。ひょっとしたら、コンバート漏れがあるかもしれないので覚悟を決めた上でお使いください。 使い方はレジストリエディタ(regedit.exe)でPuTTYの設定(HKEY_CURRENT_USER\Software\SimonTatham\PuTTY)をファイル(例ではputty.reg)に保存しておき $ perl reg2ini.pl < putty.reg > putty.ini とすることでレジストリからIN
PuTTYの設定をiniに保存 - satospo
PuTTYの設定は、デフォルトではWindowsのレジストリに保存されます。バックアップする手間を考えると、iniファイルに保存してくれた方がありがたいです。そこで、「PuTTYごった煮版」を使うと、設定がiniファイルに保存されるようです。 PuTTYごった煮版の入手（ZIPアーカイブと、インストーラ版がある） http://yebisuya.dip.jp/Software/PuTTY/ putty-0.60-JP_Y-2007-08-06.zip ZIPアーカイブをダウンロードして、適当な場所に展開しておく。次に同梱されているputty_sample.iniをputty.iniにリネームする。iniファイルはPuTTYと同じ場所に置く。 ユーザ毎にPuTTYの設定を分けたい場合は、次の場所にputty.iniを置くと良いらしい。 WindowsXP C:\Documents and
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
