improve a typosetting (#81)

Author: hanyujie2002

labs/introduction.rst

@@ -211,7 +211,7 @@ cscope 和 SourceWeb 之间的主要区别在于，SourceWeb 在某种程度上
 gdb（Linux）
 -----------
 
-在 Linux 上，一种更简单但也具有许多缺点的调试方法是使用 `gdb <http://www.gnu.org/software/gdb/>`__ 进行本地调试，其中涉及到未压缩的内核镜像（:file:`vmlinux` ）和文件：:file:`/proc/kcore` （实时内核镜像）。这种方法通常用于检查内核并在其运行时检测特定的不一致性。特别是如果内核是使用 :code:`-g` 选项编译的（该选项会保留调试信息）这种方法就非常有用。但是，这种方法无法使用一些常用的调试技术，例如数据修改的断点。
+在 Linux 上，一种更简单但也具有许多缺点的调试方法是使用 `gdb <http://www.gnu.org/software/gdb/>`__ 进行本地调试，其中涉及到未压缩的内核镜像 (:file:`vmlinux`) 和文件：:file:`/proc/kcore` (实时内核镜像)。这种方法通常用于检查内核并在其运行时检测特定的不一致性。特别是如果内核是使用 :code:`-g` 选项编译的（该选项会保留调试信息）这种方法就非常有用。但是，这种方法无法使用一些常用的调试技术，例如数据修改的断点。
 
 .. note:: 因为 :file:`/proc` 是一个虚拟文件系统，:file:`/proc/kcore` 在磁盘上并不存在。当程序尝试访问 :file:`/proc/kcore` 时，内核会即时生成它。它用于调试目的。