正規表現

**名無しさん＠お腹いっぱい。** · 2018/06/04(月) 08:22:10.94

>>958
ありがとうござい
参考になります

**名無しさん＠お腹いっぱい。** · 2018/12/21(金) 21:02:43.67

bashで半角スペースの繰り返しを半角スペース1つに変換する正規表現で困っています。
ちなみに、sedなら何も問題なくできます。でもsedはプログラムを起動する分遅くなります。
bashの場合、次のように書くと、不完全ながらも空白スペースを縮めることはできました
"${str// [ \{1\,\}]/ }"

こいつを何回か繰り返すと連続スペースを1スペースにできるのですが、あまりに不細工すぎて、
何かまともな書き方はないでしょうか？
下のRep2Oneはbashで動作する、
str中、2回以上chrが連賊する箇所を1回に縮める関数です。

function Rep2One(){
local str=$1
local chr=$2
while :
do
str="${str//$chr$chr/$chr}"
# echo "str = $str"
if [[ ! $str =~ $chr$chr ]]; then
break
fi
done
echo "$str"
}

**名無しさん＠お腹いっぱい。** · 2018/12/21(金) 21:15:42.56

シェルスクリプトのスレで聞いた方が良案が出やすいんじゃないの
と思うけど

**名無しさん＠お腹いっぱい。** · 2018/12/23(日) 01:31:47.78

str="${str//$chr$chr$chr$chr$chr/$chr}"

１回目で大量に消せば高速

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:22:09.90

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:22:12.37

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:22:26.00

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:22:27.30

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:22:31.14

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:22:47.48

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:22:47.69

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:22:52.52

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:23:08.59

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:23:14.62

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:23:23.31

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:23:26.96

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:23:38.23

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:23:42.44

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:23:53.50

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:23:58.23

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:24:09.32

ぉんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:24:13.82

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:24:24.69

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:24:30.02

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:24:45.01

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:24:50.48

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:24:59.95

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:25:05.89

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:25:15.64

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:25:20.89

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:25:30.79

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:25:35.59

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:25:46.53

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:25:51.25

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:26:02.32

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:26:07.32

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:26:17.40

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:26:23.80

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:26:33.86

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:26:38.84

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:26:53.77

おまんこ

**名無しさん＠お腹いっぱい。** · 2019/03/15(金) 05:26:54.10

おまんこ

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 5942日 11時間 17分 40秒

**1002** · Over 1000

5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。

───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────

会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。

▼ プレミアム会員登録はこちら ▼
https://premium.5ch.net/

▼ 浪人ログインはこちら ▼
https://login.5ch.net/login.php