From 727d889e11948eb1489c77656ccf1077290bf0a7 Mon Sep 17 00:00:00 2001 From: Michael Vasseur <14887731+vmcj@users.noreply.github.com> Date: Fri, 21 Jun 2024 20:30:17 +0200 Subject: [PATCH] Are the others actually needed? --- .github/jobs/webstandard.sh | 11 +---------- 1 file changed, 1 insertion(+), 10 deletions(-) diff --git a/.github/jobs/webstandard.sh b/.github/jobs/webstandard.sh index 5ed42bc8bb..dc7e355501 100755 --- a/.github/jobs/webstandard.sh +++ b/.github/jobs/webstandard.sh @@ -132,16 +132,7 @@ else FLTR="" else STAN="-s $TEST" - FLTR0="-E '#editor0 > textarea','#editor1 > textarea','html > body > div > div > div > form > ul > li','html > body > div > div > div > form','#DataTables_Table_0 > tbody > tr > td > a','#menuDefault > a','#filter-card > div > div > div > span > span:nth-child(1) > span > ul > li > input',.problem-badge,'html > body > div:nth-child(3) > div > div > div > div:nth-child(3) > div:nth-child(1) > table > tbody > tr:nth-child(1) > td:nth-child(4) > a > span','#DataTables_Table_0 > tbody > tr > td > form','html > body > div > div > div > div > div > div > table > tbody > tr > td > a > span'" - FLTR1="'html > body > div > div > div > div > div > table > tbody > tr > td > a','html > body > div:nth-child(2) > div > div > div:nth-child(5) > div > table > tbody > tr > td:nth-child(5) > form'" - FLTR2="'html > body > div > div > div > div > div > table > tbody > tr > td > form > div > input','html > body > div > div > div > div > div > table > tbody > tr > td > form > div > input'" - FLTR3="'html > body > div > div > div > div > div > table > tbody > tr > td > form','html > body > div > div > div > div > div > table > tbody > tr > td > form > div > input'" - FLTR10="'#editor0 > textarea','#editor1 > textarea','html > body > div > div > div > form > ul > li','html > body > div > div > div > form','#DataTables_Table_0 > tbody > tr > td > a','#menuDefault > a','#filter-card > div > div > div > span > span > span > ul > li > input',.problem-badge,'html > body > div > div > div > div > div > div > table > tbody > tr > td > a > span','#DataTables_Table_0 > tbody > tr > td > form','html > body > div > div > div > div > div > div > table > tbody > tr > td > a > span'" - FLTR11="'html > body > div > div > div > div > div > table > tbody > tr > td > a','html > body > div > div > div > div > div > table > tbody > tr > td > form'" - FLTR12="'html > body > div > div > div > div > div > table > tbody > tr > td > form > div > input','html > body > div > div > div > div > div > table > tbody > tr > td > form > div > input'" - FLTR13="'html > body > div > div > div > div > div > table > tbody > tr > td > form','html > body > div > div > div > div > div > table > tbody > tr > td > form > div > input'" - FLTR14="'html > body > div > div > div > div > table > tbody > tr > td > a','#submissions_filter > div > span > span > span > ul > li > input','#filter-card > div > form'" - FLTR="$FLTR0,$FLTR1,$FLTR2,$FLTR3,$FLTR10,$FLTR11,$FLTR12,$FLTR13,$FLTR14" + FLTR="-E '#editor0 > textarea','#editor1 > textarea','html > body > div > div > div > form > ul > li','html > body > div > div > div > form','#DataTables_Table_0 > tbody > tr > td > a','#menuDefault > a','#filter-card > div > div > div > span > span:nth-child(1) > span > ul > li > input',.problem-badge,'html > body > div:nth-child(3) > div > div > div > div:nth-child(3) > div:nth-child(1) > table > tbody > tr:nth-child(1) > td:nth-child(4) > a > span','#DataTables_Table_0 > tbody > tr > td > form','html > body > div > div > div > div > div > div > table > tbody > tr > td > a > span'" fi chown -R domjudge:domjudge "$DIR" cd "$DIR"