# kdesrc-build running: 'git' 'reset' '--hard' 'origin/master' # from directory: /opt/kde/src/kio-extras HEAD is now at 87a5242ab filenamesearch: use `ripgrep-all` or `ripgrep` for content search if available