コンピュータや音楽の事書いてます

2020-07-24から1日間の記事一覧

PATHの重複を削除 bash

#PATHの重複を削除 awkが必要 path2="" for d in $( echo $PATH | tr ':' '\n' | awk '!a[$0]++' ); do path2=$path2:"$d" done PATH=${path2#:} #最初の : を削除