Это связано с тем, что сочетание клавиш Ctrl + Shift + W закрывает все открытые в данный момент вкладки (Ctrl + W закрывает только текущую вкладку). Если вы находитесь в браузере (Chromium, Firefox), этот ярлык повлечет за собой закрытие окна.
Попробуйте использовать другую комбинацию, такую как Ctrl + Shift + Shift [!d2 ] или Ctrl + W + C (эти я тестировал) и будут работать как шарм.
Попробуйте
grep -v '[834]' file
Из man grep
-v, --invert-match
Invert the sense of matching, to select non-matching lines. (-v
is specified by POSIX.)