diff options
author | Thomas Voss <mail@thomasvoss.com> | 2023-10-28 14:52:44 +0200 |
---|---|---|
committer | Thomas Voss <mail@thomasvoss.com> | 2023-10-28 14:52:44 +0200 |
commit | c92a1d9478a507ac20846625b694c9fed9192860 (patch) | |
tree | a250630e87f184bf8061b46174395b89e1990ea9 /src/prj/mmv | |
parent | 35ddd7bfcb38ca2fedd81afbe944e5275132949c (diff) |
Format an occurance of ‘mv’
Diffstat (limited to 'src/prj/mmv')
-rw-r--r-- | src/prj/mmv/index.gsp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/prj/mmv/index.gsp b/src/prj/mmv/index.gsp index 3f3ba81..96465a2 100644 --- a/src/prj/mmv/index.gsp +++ b/src/prj/mmv/index.gsp @@ -67,7 +67,8 @@ html lang="en" { the command-line. We basically always do this with the @code{-mv} utility, and it gets the job done most of the time. Want to rename one file? Use @code{-mv}! Want to move a bunch of files into a directory? - Use @code{-mv}! How could mv ever go wrong? Well I’m glad you asked! + Use @code{-mv}! How could @code{-mv} ever go wrong? Well I’m glad you + asked! } h2 #moving {-Advanced Moving and Pitfalls} |