1257  grep France,2019,PHP < wilders.csv | wc -l > php_france_2019.txt
 1258  grep Biarritz,JavaScript wilders.csv > javascript_biarritz.csv
 1259  grep Biarritz wilders.csv > biarritz.csv
 1260  grep JavaScript biarritz.csv > javascript_biarritz.csv
 1261  grep Toulouse wilders.csv > toulouse.csv
 1262  grep JavaScript toulouse.csv > javascript_toulouse.csv
 1263  cat javascript_toulouse.csv javascript_biarritz.csv> javascript_biarritz_toulouse.csv
 1264  history tail
 1265  history | tail -8
 1266  history | tail -10
 1267  history | tail -11 > history.txt