Your personal blog tags this as terminal but not shell, which also exists. You may wish to merge those tags.
terminal
shell
Your personal blog tags this as
terminalbut notshell, which also exists. You may wish to merge those tags.