Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #!/usr/bin/env bash
- # 区切り文字で分割してIDの中身を取得
- ClipbordUrl=$1
- # # datのURLに変換
- targetUrl=$(echo "$ClipbordUrl" | cut -d "/" -f 1-7 | awk 'BEGIN{FS="/";OFS="/"}{print $1,$2,$3,$6,"dat",$7".dat"}')
- #とりあえず区切り文字を使われなさそうなゑにして区切り、IDごとに分割して作成
- curl -s $targetUrl | sed 's/<>/ゑ/g' | awk -v RS="ゑ" '{gsub(/[[:space:]]+$/, "", $0); print $3}' | grep "ID:" | sed 's/主//g' | sort | awk '!seen[substr($0, 1, length($0)-1)]++' | tr '\n' ',' | sed -e 's/,$/\n/g'
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement