Advertisement
Guest User

Untitled

a guest
May 18th, 2023
4
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 0.55 KB | None | 0 0
  1. #!/usr/bin/env bash
  2.  
  3. # 区切り文字で分割してIDの中身を取得
  4. ClipbordUrl=$1
  5. # # datのURLに変換
  6. targetUrl=$(echo "$ClipbordUrl" | cut -d "/" -f 1-7 | awk 'BEGIN{FS="/";OFS="/"}{print $1,$2,$3,$6,"dat",$7".dat"}')
  7. #とりあえず区切り文字を使われなさそうなゑにして区切り、IDごとに分割して作成
  8. 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'
  9.  
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement