いくつかの潜在的な冗長性は次のとおりです。
しかし、私の問題を解決するためにそれから推論することはできません。だからここに尋ねたいです。
だからこれが私が今まで得たものです:
sbcl --noinform --non-interactive --eval "(ql:quickload :lambda-calculus-compiler)" < test.lisp > x.txt
lispファイルを評価し、テキストファイルを読み、test.lisp
それを(ql:quickload :lambda-calculus-compiler
。test.lisp
x.txt
x.txt
この作業後の様子は次のとおりです。
To load "lambda-calculus-compiler":
Load 1 ASDF system:
lambda-calculus-compiler
; Loading "lambda-calculus-compiler"
(((LAMBDA (N) (LAMBDA (M) (LAMBDA (F) (LAMBDA (Z) ((M F) ((N F) Z))))))
(LAMBDA (F) (LAMBDA (Z) (F (F (F Z))))))
(LAMBDA (F) (LAMBDA (Z) (F (F (F Z))))))
無視したり取り除きたい
To load "lambda-calculus-compiler":
Load 1 ASDF system:
lambda-calculus-compiler
; Loading "lambda-calculus-compiler"
これが出力です(ql:quickload :lambda-calculus-compiler)
。
どんな助けでも大変感謝します。これを重複としてマークしないでください。前述したように、上記の回答ではこれを推論することはできません。
ありがとうございます。
答え1
1つのオプションは、ファイルにリダイレクトする前にsedを介してコマンドをパイプすることです。
sbcl --noinform --non-interactive --eval "(ql:quickload :lambda-calculus-compiler)" < test.lisp |
sed '1,/Loading "lambda-calculus-compiler"/ d' > x.txt
これにより、1から始まり、そのフレーズで終わる次の行が削除されます。
しかし、私の意見で述べたように、他のsbcl関連オプションがあるかもしれません。