問題タブ [subst]

私は持っている

"これは <>サンプル<> テキストです。<>smth1<> と <>smth2<> などを抽出する必要があります。" Oracle データベースの列に。私は取得する必要があります:

サンプル smth1 smth2

何か助けはありますか？

PowerShellでSubstコマンドを実行するのを手伝ってくれる人はいますか。これにより、Windowsエクスプローラーの仮想ドライブが反映されます。

期待してくれてありがとう。

Windows コマンドを使用substして、ドライブとフォルダーを別の場所にマップできますか?

一時フォルダーをマップしたい

c:\foo\bar\temp

に

e:\buildserver\dev

tempディレクトリをe:使用して簡単にマップできます

subst e: c:\foo\bar\temp

しかし、ドライブを折りたたむパスを追加するにはどうすればよいですか\buildserver\dev

私は次のことで立ち往生しています。私は、ある文脈Γで起こるパイ微積分遷移の導出と、Γ ≡ Γ' の証明を持っています。を使用して、導関数を Γ' の遷移に強制したいと思いsubstます。いつものように、設定の詳細はほとんど重要ではありません。

トランジションのソース P と、トランジションのラベルとして表示されるアクション a の両方を強制するのは簡単です。問題は、型が a に依存する遷移のターゲット R です。強制遷移では、substa を Γ ⟿ から Γ' ⟿ に強制するために使用します。単純に、Proc インデックスが等しいことを示すことで、 R の型を からにsubst変更するためにも使用したいと思います。ただし、その性質上、 a とは異なる型を持っているため、これを行う方法がわかりません。たぶん、Γ ≡ Γ′ の証明をもう一度使うか、型を統一するために内側を「元に戻す」必要があるかもしれません。Proc (target a)Proc (target (subst _⟿ q a)subst _⟿ q asubst

私がやろうとしていることは合理的ですか？もしそうなら、異質性を考慮してRを強制するにはどうすればよいですか?

Makefile で文字列置換を実行したいと考えています。次のような文字列リテラルでこれを簡単に行うことができます。

これにより、期待される結果が得られます。

しかし、変数の使用に切り替えると、置換が固執するようには見えません。

スラッシュをダッシュ​​に置き換える代わりに、元の文字列が出力されます。誰かがここで何が起こっているのか説明できますか? 変数を明示的に文字列リテラルなどに変換する必要がありますか?

アップデート：

MadScientist の回答に基づく修正 - これにより、変更された文字列を変数として参照できるようになります。

しかし、echo $$yこれの代わりにもっと便利なものがあるかもしれません.

コード例を次に示します。

戻り値:

http://wiki.tcl.tk/1501によると

今のところこれをキャッチする方法はないようです