https://tastethelinux.com/how-to-ignore-case-using-grep-insensitive-string/