fix(curriculum): use semantic keyboard markup in relational databases lessons (#69730)

This commit is contained in:
Kunal Gupta
2026-08-25 14:54:49 +05:30
committed by GitHub
parent 60e2ecffd8
commit 26f830fc52
5 changed files with 6 additions and 6 deletions
@@ -9,7 +9,7 @@ dashedName: what-is-the-terminal-and-how-does-it-differ-from-the-command-line
Let's learn about the terminal, and how it differs from the command line.
The command line is a basic text input interface which allows a user to enter "commands", usually in the form of a series of characters, and submit or execute them, usually by pressing the "Enter" key. You will most-commonly see command line interfaces within a terminal.
The command line is a basic text input interface which allows a user to enter "commands", usually in the form of a series of characters, and submit or execute them, usually by pressing the <kbd>Enter</kbd> key. You will most-commonly see command line interfaces within a terminal.
A terminal is a special application that offers a command line interface to perform system-level commands beyond the basic read/write operations. You may also hear about "terminal emulators", which are essentially applications that wrap a basic terminal interface to offer additional features or functionality. But for most general purposes, you are probably safe to refer to these as "terminals" as well.
@@ -63,7 +63,7 @@ Think about how the lesson distinguishes between different components of command
---
The Enter key used to submit commands.
The <kbd>Enter</kbd> key used to submit commands.
### --feedback--
@@ -15,7 +15,7 @@ Command-line interfaces, or CLIs for short, allow you to interact with your oper
If you are on Windows, you can use the Command Prompt or PowerShell. If you are on a Mac, you can open up your Terminal app.
Once the command line is open, navigate to your home directory. In the Command Prompt, type `cd /d %USERPROFILE%` and hit `Enter` on your keyboard. In PowerShell or the macOS Terminal, type `cd ~` and hit `Enter`. Then type in the `mkdir my-project` command and hit `Enter`. `mkdir`, or "make directory", is the command used to create a new directory. You should then open your new directory with VS Code.
Once the command line is open, navigate to your home directory. In the Command Prompt, type `cd /d %USERPROFILE%` and hit <kbd>Enter</kbd> on your keyboard. In PowerShell or the macOS Terminal, type `cd ~` and hit <kbd>Enter</kbd>. Then type in the `mkdir my-project` command and hit <kbd>Enter</kbd>. `mkdir`, or "make directory", is the command used to create a new directory. You should then open your new directory with VS Code.
There are also other ways to open a directory in VS Code.
@@ -21,7 +21,7 @@ Let's take a peek at what Nano can do. To open a file, you can enter `nano <file
Once a file is open, you will see the version of Nano you are running and the name of the file you have open at the top of the screen.
Below that is the content of the file. You can use the arrow keys to navigate your cursor and insert or delete text with your keyboard. The file will scroll as needed to follow.
Below that is the content of the file. You can use the <kbd>arrow keys</kbd> to navigate your cursor and insert or delete text with your keyboard. The file will scroll as needed to follow.
Then, at the bottom, you will see a list of available keyboard shortcuts, that looks something like this:
@@ -110,7 +110,7 @@ dashedName: review-bash-scripting
- **Manual pages**: Use `man` to access detailed documentation for commands.
- Provides comprehensive information about command usage
- Shows all available options and examples
- Use arrow keys to navigate, 'q' to quit
- Use <kbd>arrow keys</kbd> to navigate, <kbd>q</kbd> to quit
- Not all commands have manual pages (built-ins use `help` instead)
```bash
@@ -556,7 +556,7 @@ CREATE DATABASE database_name;
- **Manual pages**: Use `man` to access detailed documentation for commands.
- Provides comprehensive information about command usage
- Shows all available options and examples
- Use arrow keys to navigate, 'q' to quit
- Use <kbd>arrow keys</kbd> to navigate, <kbd>q</kbd> to quit
- Not all commands have manual pages (built-ins use `help` instead)
```bash