← Back to context

Comment by adityaathalye

2 years ago

Indeed, this is why I retained the `.sh`.

If it were designed as a proper userspace tool (it is not, and may never be), I might have dropped the file extension. But I might also have chosen to keep the `.sh`, and create an alias instead, during install. That way I get to have both micro-conveniences.