aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--docs/bsd/freebsd.md20
-rw-r--r--docs/bsd/netbsd.md20
-rw-r--r--docs/bsd/openbsd.md20
-rw-r--r--docs/future/index.md2
-rw-r--r--docs/future/old.md2
-rw-r--r--docs/gnulinux/grub_boot_installer.md20
-rw-r--r--docs/gnulinux/grub_cbfs.md10
-rw-r--r--docs/grub/index.md8
-rw-r--r--docs/hcl/index.md2
-rw-r--r--docs/misc/index.md10
-rw-r--r--docs/misc/patch.md24
11 files changed, 69 insertions, 69 deletions
diff --git a/docs/bsd/freebsd.md b/docs/bsd/freebsd.md
index fa7c8167..9f0d58e0 100644
--- a/docs/bsd/freebsd.md
+++ b/docs/bsd/freebsd.md
@@ -60,17 +60,17 @@ If you downloaded your ISO on a LibertyBSD or OpenBSD system, here is
how to create the bootable FreeBSD USB drive:
Connect the USB drive. Check dmesg:\
-**\$ dmesg | tail**\
+ $ dmesg | tail
Check to confirm which drive it is, for example, if you think its sd3:\
-**\$ disklabel sd3**
+ $ disklabel sd3
Check that it wasn't automatically mounted. If it was, unmount it. For
example:\
-**\$ doas umount /dev/sd3i**\
+ $ doas umount /dev/sd3i
dmesg told you what device it is. Overwrite the drive, writing the
FreeBSD installer to it with dd. For example:\
-**\$ doas dd if=freebsd.img of=/dev/rsdXc bs=1M; sync**\
+ $ doas dd if=freebsd.img of=/dev/rsdXc bs=1M; sync
You should now be able to boot the installer from your USB drive.
Continue reading, for information about how to do that.
@@ -84,19 +84,19 @@ If you downloaded your ISO on a GNU+Linux system, here is how to create
the bootable FreeBSD USB drive:
Connect the USB drive. Check dmesg:\
-**\$ dmesg**\
+ $ dmesg
Check lsblk to confirm which drive it is:\
-**\$ lsblk**
+ $ lsblk
Check that it wasn't automatically mounted. If it was, unmount it. For
example:\
-**\$ sudo umount /dev/sdX\***\
-**\# umount /dev/sdX\***
+ $ sudo umount /dev/sdX\*
+ # umount /dev/sdX\*
dmesg told you what device it is. Overwrite the drive, writing your
distro ISO to it with dd. For example:\
-**\$ sudo dd if=freebsd.img of=/dev/sdX bs=8M; sync**\
-**\# dd if=freebsd.img of=/dev/sdX bs=8M; sync**
+ $ sudo dd if=freebsd.img of=/dev/sdX bs=8M; sync
+ # dd if=freebsd.img of=/dev/sdX bs=8M; sync
You should now be able to boot the installer from your USB drive.
Continue reading, for information about how to do that.
diff --git a/docs/bsd/netbsd.md b/docs/bsd/netbsd.md
index 286d9495..ff515c40 100644
--- a/docs/bsd/netbsd.md
+++ b/docs/bsd/netbsd.md
@@ -56,17 +56,17 @@ If you downloaded your ISO on a LibertyBSD or NetBSD system, here is how
to create the bootable NetBSD USB drive:
Connect the USB drive. Check dmesg:\
-**\$ dmesg | tail**\
+ $ dmesg | tail
Check to confirm which drive it is, for example, if you think its sd3:\
-**\$ disklabel sd3**
+ $ disklabel sd3
Check that it wasn't automatically mounted. If it was, unmount it. For
example:\
-**\$ doas umount /dev/sd3i**\
+ $ doas umount /dev/sd3i
dmesg told you what device it is. Overwrite the drive, writing the
NetBSD installer to it with dd. For example:\
-**\$ doas netbsd.iso of=/dev/rsdXc bs=1M; sync**\
+ $ doas netbsd.iso of=/dev/rsdXc bs=1M; sync
You should now be able to boot the installer from your USB drive.
Continue reading, for information about how to do that.
@@ -80,19 +80,19 @@ If you downloaded your ISO on a GNU+Linux system, here is how to create
the bootable NetBSD USB drive:
Connect the USB drive. Check dmesg:\
-**\$ dmesg**\
+ $ dmesg
Check lsblk to confirm which drive it is:\
-**\$ lsblk**
+ $ lsblk
Check that it wasn't automatically mounted. If it was, unmount it. For
example:\
-**\$ sudo umount /dev/sdX\***\
-**\# umount /dev/sdX\***
+ $ sudo umount /dev/sdX\*
+ # umount /dev/sdX\*
dmesg told you what device it is. Overwrite the drive, writing your
distro ISO to it with dd. For example:\
-**\$ sudo dd if=install60.fs of=/dev/sdX bs=8M; sync**\
-**\# dd if=netbsd.iso of=/dev/sdX bs=8M; sync**
+ $ sudo dd if=install60.fs of=/dev/sdX bs=8M; sync
+ # dd if=netbsd.iso of=/dev/sdX bs=8M; sync
You should now be able to boot the installer from your USB drive.
Continue reading, for information about how to do that.
diff --git a/docs/bsd/openbsd.md b/docs/bsd/openbsd.md
index 988b87e6..4a7027d3 100644
--- a/docs/bsd/openbsd.md
+++ b/docs/bsd/openbsd.md
@@ -38,17 +38,17 @@ If you downloaded your ISO on a LibertyBSD or OpenBSD system, here is
how to create the bootable LibertyBSD/OpenBSD USB drive:
Connect the USB drive. Check dmesg:\
-**\$ dmesg | tail**\
+ $ dmesg | tail
Check to confirm which drive it is, for example, if you think its sd3:\
-**\$ disklabel sd3**
+ $ disklabel sd3
Check that it wasn't automatically mounted. If it was, unmount it. For
example:\
-**\$ doas umount /dev/sd3i**\
+ $ doas umount /dev/sd3i
dmesg told you what device it is. Overwrite the drive, writing the
OpenBSD installer to it with dd. For example:\
-**\$ doas dd if=install60.fs of=/dev/rsdXc bs=1M; sync**\
+ $ doas dd if=install60.fs of=/dev/rsdXc bs=1M; sync
You should now be able to boot the installer from your USB drive.
Continue reading, for information about how to do that.
@@ -79,19 +79,19 @@ If you downloaded your ISO on a GNU+Linux system, here is how to create
the bootable OpenBSD USB drive:
Connect the USB drive. Check dmesg:\
-**\$ dmesg**\
+ $ dmesg
Check lsblk to confirm which drive it is:\
-**\$ lsblk**
+ $ lsblk
Check that it wasn't automatically mounted. If it was, unmount it. For
example:\
-**\$ sudo umount /dev/sdX\***\
-**\# umount /dev/sdX\***
+ $ sudo umount /dev/sdX\*
+ # umount /dev/sdX\*
dmesg told you what device it is. Overwrite the drive, writing your
distro ISO to it with dd. For example:\
-**\$ sudo dd if=install60.fs of=/dev/sdX bs=8M; sync**\
-**\# dd if=install60.fs of=/dev/sdX bs=8M; sync**
+ $ sudo dd if=install60.fs of=/dev/sdX bs=8M; sync
+ # dd if=install60.fs of=/dev/sdX bs=8M; sync
You should now be able to boot the installer from your USB drive.
Continue reading, for information about how to do that.
diff --git a/docs/future/index.md b/docs/future/index.md
index cc98bcb5..3eacbc92 100644
--- a/docs/future/index.md
+++ b/docs/future/index.md
@@ -325,7 +325,7 @@ Get intelvbttool here: <http://review.coreboot.org/#/c/5842>
Now dump a copy of the running VGA BIOS: **\$ sudo dd if=/dev/mem bs=64k
of=runningvga.bin skip=12 count=1**\
Then do (and record the output):\
-**\$ ./intelvbttool runningvga.bin > intelvbttool\_out**
+ $ ./intelvbttool runningvga.bin > intelvbttool\_out
Backup both files (runningvga.bin and intelvbttool\_out), renaming them
to match the system and LCD panel used.
diff --git a/docs/future/old.md b/docs/future/old.md
index 71107fba..8fc4e273 100644
--- a/docs/future/old.md
+++ b/docs/future/old.md
@@ -44,7 +44,7 @@ That's all! **This has also been backported into libreboot 5th release
Carikli) told me about the register **BLC\_PWM\_CTL** and that you could
set it to control backlight. I read that address using devmem2 while
running the VBIOS:\
-**\# devmem2 0xe4361254 w**
+ # devmem2 0xe4361254 w
The change is also included in libreboot 6.
diff --git a/docs/gnulinux/grub_boot_installer.md b/docs/gnulinux/grub_boot_installer.md
index 08a1c83e..1fd924b1 100644
--- a/docs/gnulinux/grub_boot_installer.md
+++ b/docs/gnulinux/grub_boot_installer.md
@@ -29,19 +29,19 @@ If you downloaded your ISO on an existing GNU+Linux system, here is how
to create the bootable GNU+Linux USB drive:
Connect the USB drive. Check dmesg:\
-**\$ dmesg**\
+ $ dmesg
Check lsblk to confirm which drive it is:\
-**\$ lsblk**
+ $ lsblk
Check that it wasn't automatically mounted. If it was, unmount it. For
example:\
-**\$ sudo umount /dev/sdX\***\
-**\# umount /dev/sdX\***
+ $ sudo umount /dev/sdX\*
+ # umount /dev/sdX\*
dmesg told you what device it is. Overwrite the drive, writing your
distro ISO to it with dd. For example:\
-**\$ sudo dd if=gnulinux.iso of=/dev/sdX bs=8M; sync**\
-**\# dd if=gnulinux.iso of=/dev/sdX bs=8M; sync**
+ $ sudo dd if=gnulinux.iso of=/dev/sdX bs=8M; sync
+ # dd if=gnulinux.iso of=/dev/sdX bs=8M; sync
You should now be able to boot the installer from your USB drive.
Continue reading, for information about how to do that.
@@ -72,17 +72,17 @@ If you downloaded your ISO on a LibertyBSD or OpenBSD system, here is
how to create the bootable GNU+Linux USB drive:
Connect the USB drive. Check dmesg:\
-**\$ dmesg | tail**\
+ $ dmesg | tail
Check to confirm which drive it is, for example, if you think its sd3:\
-**\$ disklabel sd3**
+ $ disklabel sd3
Check that it wasn't automatically mounted. If it was, unmount it. For
example:\
-**\$ doas umount /dev/sd3i**\
+ $ doas umount /dev/sd3i
dmesg told you what device it is. Overwrite the drive, writing the
OpenBSD installer to it with dd. For example:\
-**\$ doas dd if=gnulinux.iso of=/dev/rsdXc bs=1M; sync**\
+ $ doas dd if=gnulinux.iso of=/dev/rsdXc bs=1M; sync
You should now be able to boot the installer from your USB drive.
Continue reading, for information about how to do that.
diff --git a/docs/gnulinux/grub_cbfs.md b/docs/gnulinux/grub_cbfs.md
index feb16b73..31192f5a 100644
--- a/docs/gnulinux/grub_cbfs.md
+++ b/docs/gnulinux/grub_cbfs.md
@@ -153,7 +153,7 @@ Extract grubtest.cfg from the ROM image {#extract_testconfig}
---------------------------------------
You can check the contents of the ROM image, inside CBFS:\
-**\$ cd \.../libreboot\_util/cbfstool** **\$ ./cbfstool libreboot.rom
+ $ cd \.../libreboot\_util/cbfstool** $ ./cbfstool libreboot.rom
print**
The files *grub.cfg* and *grubtest.cfg* should be present. grub.cfg is
@@ -162,7 +162,7 @@ this tutorial, you will first modify and test *grubtest.cfg*. This is to
reduce the possibility of bricking your device, so DO NOT SKIP THIS!
Extract grubtest.cfg from the ROM image:\
-**\$ ./cbfstool libreboot.rom extract -n grubtest.cfg -f grubtest.cfg**
+ $ ./cbfstool libreboot.rom extract -n grubtest.cfg -f grubtest.cfg
Modify the grubtest.cfg accordingly.
@@ -175,7 +175,7 @@ Re-insert the modified grubtest.cfg into the ROM image {#reinsert_modified_testc
Once your grubtest.cfg is modified and saved, delete the unmodified
config from the ROM image:\
-**\$ ./cbfstool libreboot.rom remove -n grubtest.cfg**
+ $ ./cbfstool libreboot.rom remove -n grubtest.cfg
Next, insert the modified version:\
**\$ ./cbfstool libreboot.rom add -n grubtest.cfg -f grubtest.cfg -t
@@ -228,10 +228,10 @@ the already modified config). From /libreboot\_util/cbfstool, do:\
grub.cfg**\
Delete the grub.cfg that remained inside the ROM:\
-**\$ ./cbfstool libreboot.rom remove -n grub.cfg**
+ $ ./cbfstool libreboot.rom remove -n grub.cfg
Add the modified version that you just made:\
-**\$ ./cbfstool libreboot.rom add -n grub.cfg -f grub.cfg -t raw**
+ $ ./cbfstool libreboot.rom add -n grub.cfg -f grub.cfg -t raw
**Now you have a modified ROM. Again, refer back to
[../install/\#flashrom](../install/#flashrom) for information on how to
diff --git a/docs/grub/index.md b/docs/grub/index.md
index 56cbf470..81e4bd56 100644
--- a/docs/grub/index.md
+++ b/docs/grub/index.md
@@ -45,10 +45,10 @@ one](http://sourceforge.net/projects/dejavu/files/dejavu/2.34/dejavu-fonts-ttf-2
This is a free font that is also contained in GNU+Linux distributions
like Debian, Devuan or Parabola.
-**\$ cd libreboot\_src/grub**\
+ $ cd libreboot\_src/grub
compile grub (the build scripts info on how to do this)\
come back out into libreboot\_src/resources/grub:\
-**\$ cd ../libreboot\_src/resources/grub/font**
+ $ cd ../libreboot\_src/resources/grub/font
I took Dejavu Sans Mono from dejavu (included in this version of
libreboot) and did:\
@@ -76,7 +76,7 @@ Custom keyboard layout in GRUB (for reference) {#grub_custom_keyboard}
Keymaps are stored in resources/utilities/grub-assemble/keymap/.
Example (French Azerty):\
-**\$ ckbcomp fr > frazerty**\
+ $ ckbcomp fr > frazerty
\
Go in grub directory:\
**cat frazerty | ./grub/grub-mklayout -o frazerty.gkb**
@@ -104,7 +104,7 @@ ukdvorak had to be created manually, based on usdvorak. diff them (under
resources/utilities/grub-assemble/keymap/original) to see how ukdvorak
file was created
-**\$ cat ukdvorak | ./grub/grub-mklayout -o ukdvorak.gkb**
+ $ cat ukdvorak | ./grub/grub-mklayout -o ukdvorak.gkb
[Back to top of page](#pagetop)
diff --git a/docs/hcl/index.md b/docs/hcl/index.md
index 80590568..8adb7fc4 100644
--- a/docs/hcl/index.md
+++ b/docs/hcl/index.md
@@ -437,7 +437,7 @@ the macbook2,1. They are included here in case the main site goes down
for whatever reason, since they include a lot of useful information.
Backups created using wget:\
-**\$ wget -m -p -E -k -K -np http://macbook.donderklumpen.de/**\
+ $ wget -m -p -E -k -K -np http://macbook.donderklumpen.de/
**\$ wget -m -p -E -k -K -np
http://macbook.donderklumpen.de/coreboot/**\
Use **-e robots=off** if using this trick for other sites and the site
diff --git a/docs/misc/index.md b/docs/misc/index.md
index 15d0ea08..7d73569b 100644
--- a/docs/misc/index.md
+++ b/docs/misc/index.md
@@ -58,10 +58,10 @@ when idle. So far we have use processor.max\_cstate=2 or idle=halt in
GRUB. These consume power. Stop using them!
Be root\
-**\$ su -**
+ $ su -
Installed powertop:\
-**\# pacman -S powertop**
+ # pacman -S powertop
and added the following to /etc/systemd/system/powertop.service :
@@ -79,8 +79,8 @@ and added the following to /etc/systemd/system/powertop.service :
WantedBy=multi-user.target
Finally, as root do that:\
-**\# systemctl enable powertop**\
-**\# systemctl start powertop**
+ # systemctl enable powertop
+ # systemctl start powertop
The next time you boot the system, the buzz will be gone.
@@ -108,7 +108,7 @@ port on the dock and connect the other end to a 2nd system using your
USB Serial adapter.
On the 2nd system, you can try this (using GNU Screen):\
-**\$ sudo screen /dev/ttyUSB0 115200**
+ $ sudo screen /dev/ttyUSB0 115200
How to quit GNU Screen: Ctrl+A then release and press K, and then press
Y.
diff --git a/docs/misc/patch.md b/docs/misc/patch.md
index 54c82ecf..9f22f776 100644
--- a/docs/misc/patch.md
+++ b/docs/misc/patch.md
@@ -10,11 +10,11 @@ Apply a patch
=============
To apply a patch to a single file, do that in it's directory:\
-**\$ patch < foo.patch**
+ $ patch < foo.patch
Assuming that the patch is distributed in unified format identifying the
file the patch should be applied to, the above will work. Otherwise:\
-**\$ patch foo.txt < bar.patch**
+ $ patch foo.txt < bar.patch
You can apply a patch to an entire directory, but note the "p level".
What this means is that inside patch files will be the files that you
@@ -23,7 +23,7 @@ the files ane located on your own computer instead of on the computer
where the patch was created. 'p' level instructs the 'patch' utility
to ignore parts of the path name to identify the files correctly.
Usually a p level of 1 will work, so you would use:\
-**\$ patch -p1 < baz.patch**
+ $ patch -p1 < baz.patch
Change to the top level directory before running this. If a patch level
of 1 cannot identify the files to patch, then inspect the patch file for
@@ -31,14 +31,14 @@ file names. For example:\
**/home/user/do/not/panic/yet.c**
and you are working in a directory that contains panic/yet.c, use:\
-**\$ patch -p5 < baz.patch**
+ $ patch -p5 < baz.patch
You usually count one up for each path separator (forward slash) removed
from the beginning of the path, until you are left with a path that
exists in the current working directory. The count is the p level.
Removing a patch using the -R flag\
-**\$ patch -p5 -R < baz.patch**
+ $ patch -p5 -R < baz.patch
[Back to top of page.](#pagetop)
@@ -48,13 +48,13 @@ Create a patch with diff
========================
Diff can create a patch for a single file:\
-**\$ diff -u original.c new.c > original.patch**
+ $ diff -u original.c new.c > original.patch
For diff'ing a source tree:\
-**\$ cp -R original new**
+ $ cp -R original new
Do whatever you want in new/ and then diff it:\
-**\$ diff -rupN original/ new/ > original.patch**
+ $ diff -rupN original/ new/ > original.patch
[Back to top of page.](#pagetop)
@@ -68,10 +68,10 @@ git is something special.
Note: this won't show new files created.
Just make whatever changes you want to a git clone and then:\
-**\$ git diff > patch.git**
+ $ git diff > patch.git
Note the git revision that you did this with:\
-**\$ git log**
+ $ git log
Alternatively (better yet), commit your changes and then use:
$ git format-patch -N
@@ -88,10 +88,10 @@ it really is.
Now to apply that patch in the future, just git clone it again and do
with the git revision you found from above:\
-**\$ git reset --hard REVISIONNUMBER**
+ $ git reset --hard REVISIONNUMBER
Now put patch.git in the git clone directory and do:\
-**\$ git apply patch.git**
+ $ git apply patch.git
If you use a patch from git format-patch, then use **git am patch.git**
instead of **git apply patch.git**. git-am will re-create the commits