2011-12-28から1日間の記事一覧
ので、メモ。 user_idが01234 か 56789にまっちさせたい。 grep -e 'user_id=\(01234\|56789\)' -e してそれぞれエスケープ。 egrepでやる場合は、エスケープせずに egrep 'user_id=(01234|56789)' vimでもエスケープするとできるぉ。 /\(01234\|56789\) で…
ので、メモ。 user_idが01234 か 56789にまっちさせたい。 grep -e 'user_id=\(01234\|56789\)' -e してそれぞれエスケープ。 egrepでやる場合は、エスケープせずに egrep 'user_id=(01234|56789)' vimでもエスケープするとできるぉ。 /\(01234\|56789\) で…