1

$HOME変数を使用して設定するスクリプトを実行しようとしています (ちなみに gitoliteです)。

ただし、ホーム ディレクトリ パスにスペースが含まれているシステムを使用しているため、失敗しています。

gitolite の bash スクリプトを 1 点でハックして、動作$HOME可能なものに変えたい - スクリプト内で何度か使用され、いくつかの場所ではサブフォルダーを形成するために連結されるため、"" でラップすることで勝った動作しません。

したがって、それをクリーンアップするには、次のように言う必要があります。

$HOME=(magic here)$HOME

(もちろん、これは、後で登場する perl スクリプトも$HOME変数を直接読み取らず、修正が必要であると想定しています...)

4

2 に答える 2

8

どこでも引用符を使用してください。

HOME="/Users/Foo Bar"
WORKDIR="$HOME"/Work
PLAYDIR="$HOME"/Games
MARATHONDIR="$PLAYDIR"/Marathon
于 2011-03-24T13:24:56.263 に答える
1

これを試して：

export HOME=`echo $HOME | sed -e "s/ /\\ /g"`

それがうまくいくことを願っています！

于 2011-03-24T13:23:15.887 に答える