Running servoshell: merge two pages with same name

servo · Jul 9, 2024 · 8eb9376 · 8eb9376
1 parent 685fa34
commit 8eb9376
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 13 deletions.
diff --git a/src/SUMMARY.md b/src/SUMMARY.md
@@ -13,7 +13,6 @@
   - [Setting up your environment](hacking/setting-up-your-environment.md)
   - [Troubleshooting your build](hacking/troubleshooting-your-build.md)
   - [Building for Android\*](hacking/building-for-android.md)
-- [Running servoshell](hacking/running-servoshell.md)
 - [Some basic Rust\*](hacking/some-basic-rust.md)
   - [Cargo and crates\*](hacking/cargo-and-crates.md)
   - [Working on a crate\*](hacking/working-on-a-crate.md)

diff --git a/src/hacking/running-servoshell.md b/src/hacking/running-servoshell.md
diff --git a/src/running-servoshell.md b/src/running-servoshell.md
@@ -30,6 +30,19 @@ $ ./servo --devtools=6080
 **Note:** devtools support is currently a work in progress ([#32404](https://github.com/servo/servo/issues/32404)).
 </div>
 
+## Built servoshell yourself?
+
+When you build it yourself, servoshell will be in `target/debug/servo` or `target/release/servo`.
+You can run it directly as shown above, but we recommend using [mach](hacking/mach.md) instead.
+
+To run servoshell with mach, replace `./servo` with `./mach run -d --` or `./mach run -r --`, depending on the [build profile](hacking/building-servo.md) you want to run.
+For example, both of the commands below run the debug build of servoshell with the same options:
+
+```sh
+$ target/debug/servo https://demo.servo.org
+$ ./mach run -d -- https://demo.servo.org
+```
+
 ## Runtime dependencies
 
 On **Linux**, servoshell requires: