问题描述
我目前有一个bash脚本来grep .txt文件的多个文件夹。文件夹结构如下:
20200801
20200802
20200803
20200804
20200805
20200806
20200807
20200808
20200809
20200810
20200811
20200812
20200813
20200814
20200815
20200816
20200817
20200818
20200819
20200820
20200821
20200822
20200823
20200824
20200825
20200826
20200827
20200828
read -p "Enter date: " Date
和
grep -r -h -P "$SearchKey" /mnt/f/Files/August2020/$Date
对于日期输入,我可以将日期输入为
2020080[1-9]
grep每月1st
到9th
之间的所有文件夹。但是,如果我尝试
202008(0[1-9]|1[0-9])
扩展的正则表达式似乎不起作用。我正在寻找一种能够在我想要的任何日期内进行搜索的方法。
解决方法
您正在寻找范围{01-19}
,因此不需要regex
,可以使用bash
大括号扩展,它也适用于固定宽度的数字:>
for i in {01..19}; do printf "%s " "$i"; done
01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19
这可行:
grep -r pattern dir/202008{01..19}/*
这是一种以严格格式01..20
给出日期范围并将其设置为grep
的方法。请注意,此处使用eval
是邪恶的,并且通常会引入命令注入的安全风险。
s="text"
prefix=/mnt/f/Files/August2020/202008
read -p "Enter date range (example:01..10) " d
[[ "$d" =~ ^[0-9]{2}[\.]{2}[0-9]{2}$ ]] && grep -r "$s" $( eval echo $prefix{$d} )
,
您需要extglob shell选项和@运算符:
Solution.isBST(two)