Patch adb logcat file, zsh: add gri alias