The devcontainer doesn't even have a pager installed right now, so git log will just show the whole log scrolling by.
Probably we should add some commonly used tools to the devcontainer to avoid such surprises.
Step 1 would be to decide on a list of common development tools that should be in the container.
- less
- ripgrep
- bat
- fd-find
- file
- xxd
- ...?
The devcontainer doesn't even have a pager installed right now, so
git logwill just show the whole log scrolling by.Probably we should add some commonly used tools to the devcontainer to avoid such surprises.
Step 1 would be to decide on a list of common development tools that should be in the container.