piped offとは 意味・読み方・使い方

The piped format is intended to be easier to parse by tools, but you can also turn it off by adding the --no-pipe option.例文帳に追加

パイプ向けのフォーマットはツールによりパースされやすいよう意図されたものですが、あまり評判はよくなく、おそらく将来変更されるでしょう。 - Gentoo Linux

When any obstacle 21 on the embedded inner pipe 31 inside the house lot has been removed, a portion piped to the inside of house lot is cut off and a new inner pipe 12 is connected and the inside of the house lot can be replaced with a new inner pipe.例文帳に追加

宅地内の埋設内管３１上の宅地内の障害物２１がなくなった際は、宅地内へ配管されている部分を切断し、新規の内管１２とを接続して、宅地内を新規内管に取り替えできる。 - 特許庁

Further, the hydraulic pump is connected to the above input shaft, the hydraulic motor is connected to the unit case, and these are flexibly piped with each other to eliminate troublesomenesses such as the power changeover and power on/off for a power transmission section, thus simplifying the whole construction of the ridger also serving as a reciprocating utilization- type levee plastering machine.例文帳に追加

そして、前記入力軸に油圧ポンプを連結し、前記ユニットケースには油圧モータを連結し、これらを屈折自在な配管をして、動力伝達部の動力の切換えや継脱等のわずらわしさを排除して、簡単な構成にした往復利用型畦塗り機である。 - 特許庁