rust/comprehensive-rust
1
0
Fork 0
mirror of https://github.com/google/comprehensive-rust.git synced 2024-11-26 09:30:52 +02:00
Code Issues Releases Activity
cce3fff0d0
comprehensive-rust/book.toml

65 lines
2.1 KiB
TOML
Raw Normal View History

Publish Comprehensive Rust 🦀
2022-12-21 17:36:30 +02:00
[book]
authors = ["Martin Geisler"]
language = "en"
multilingual = false
src = "src"
title = "Comprehensive Rust 🦀"
[rust]
edition = "2021"
Watch `po/` directory for changes (#188) This makes `mdbook serve` automatically reload the page when translations change.
2023-01-20 12:36:14 +02:00
[build]
Integrate GA4 code directly with `book.js` (#470) * Integrate GA4 code directly with `book.js` The main advantage of this is that it simplifies the setup since we can avoid the monkey-patching we did before. A secondary advantage is that it should make things a little faster since we avoid a request to the server on every page load. * Remove unreachable return * Watch all of `third_party` It just occurred to me that we want to refresh the page in `mdbook serve` when anything changes in `third_party`.
2023-03-02 19:50:37 +02:00
extra-watch-dirs = ["po", "third_party"]
Watch `po/` directory for changes (#188) This makes `mdbook serve` automatically reload the page when translations change.
2023-01-20 12:36:14 +02:00
Make `i18n-helpers` a requirement (#461) * Make i18n-helpers a requirement * Skip mdbook-gettext for mdbook-xgettext * Gettext finds PO file based on `book.language` * Update workflow No need to set `preprocessor.gettext.po-file`. --------- Co-authored-by: Jooyung Han <jooyung@google.com>
2023-02-28 15:05:09 +02:00
[preprocessor.gettext]
Remove `renderers` from `links` and `index` preprocessors (#464) * Remove `renderers` from `links` and `index` preprocessors These two preprocessors are default preprocessors and controlled by `build.use_default_preprocessors` not by `renders`. * Fix the order of preprocessors I was wrong about the order in #461. * Remove `links` and `index` preprocessor lines These default preprocessors are run by default. --------- Co-authored-by: Jooyung Han <jooyung@google.com>
2023-03-02 11:01:24 +02:00
after = ["links"]
Add support for translations This implements a translation pipeline using the industry-standard Gettext[1] system. I picked Gettext for the reasons described in [2] and [3]: * It’s widely used in open source software. This means that there are graphical editors which will help you in editing the `.po` files. An example is Poedit[4], which is available for all major platforms. There are also many online systems for doing translations. An example is Pontoon[5], which is used for the Rust website itself. We can consider setting up such an instance ourselves. * It is a light-weight yet structured format. This means that nothing changes with regards to how you update the original English text. We can still accept fixes and PRs like normal. The structure means that translators can see exactly which part of the course they need to update after a change. This is completely lost if you simply copy over the original text and translate it in-place in the Markdown files. The code here only adds support for translations. They are not yet tested, published or used for anything. Next steps will be: * Add support for switching languages via a bit of JavaScript on each page. * Update the speaker notes feature to support translations (right now “Speaker Notes” is hard-coded into the generated HTML). I think we should turn it into a mdbook preprocessor instead. * Add testing: We should test that the `.po` files are well-formed. We should also run `mdbook test` on each language since the translations can alter the embedded code. Fixes #115. [1]: https://www.gnu.org/software/gettext/manual/html_node/index.html [2]: https://github.com/rust-lang/mdBook/pull/1864 [3]: https://github.com/rust-lang/mdBook/issues/5#issuecomment-1144887806 [4]: https://poedit.net/ [5]: https://pontoon.rust-lang.org/
2023-01-08 14:45:19 +02:00
Publish Comprehensive Rust 🦀
2022-12-21 17:36:30 +02:00
[preprocessor.svgbob]
Add support for translations This implements a translation pipeline using the industry-standard Gettext[1] system. I picked Gettext for the reasons described in [2] and [3]: * It’s widely used in open source software. This means that there are graphical editors which will help you in editing the `.po` files. An example is Poedit[4], which is available for all major platforms. There are also many online systems for doing translations. An example is Pontoon[5], which is used for the Rust website itself. We can consider setting up such an instance ourselves. * It is a light-weight yet structured format. This means that nothing changes with regards to how you update the original English text. We can still accept fixes and PRs like normal. The structure means that translators can see exactly which part of the course they need to update after a change. This is completely lost if you simply copy over the original text and translate it in-place in the Markdown files. The code here only adds support for translations. They are not yet tested, published or used for anything. Next steps will be: * Add support for switching languages via a bit of JavaScript on each page. * Update the speaker notes feature to support translations (right now “Speaker Notes” is hard-coded into the generated HTML). I think we should turn it into a mdbook preprocessor instead. * Add testing: We should test that the `.po` files are well-formed. We should also run `mdbook test` on each language since the translations can alter the embedded code. Fixes #115. [1]: https://www.gnu.org/software/gettext/manual/html_node/index.html [2]: https://github.com/rust-lang/mdBook/pull/1864 [3]: https://github.com/rust-lang/mdBook/issues/5#issuecomment-1144887806 [4]: https://poedit.net/ [5]: https://pontoon.rust-lang.org/
2023-01-08 14:45:19 +02:00
renderers = ["html"]
Remove `renderers` from `links` and `index` preprocessors (#464) * Remove `renderers` from `links` and `index` preprocessors These two preprocessors are default preprocessors and controlled by `build.use_default_preprocessors` not by `renders`. * Fix the order of preprocessors I was wrong about the order in #461. * Remove `links` and `index` preprocessor lines These default preprocessors are run by default. --------- Co-authored-by: Jooyung Han <jooyung@google.com>
2023-03-02 11:01:24 +02:00
after = ["gettext"]
Publish Comprehensive Rust 🦀
2022-12-21 17:36:30 +02:00
class = "bob"
Add an aspect-ratio-helper mdbook preprocessor (#187) The idea is that this will help us make better slides: we can see at a glance when the slide becomes too full.
2023-01-27 19:30:37 +02:00
# Enable this preprocessor to overlay a large red rectangle on the
# pages. This will show you an estimate of what the course
# participants can see during the presentation.
#
# [preprocessor.aspect-ratio-helper]
# command = "./aspect-ratio-helper.py"
Publish Comprehensive Rust 🦀
2022-12-21 17:36:30 +02:00
[output.html]
curly-quotes = true
Integrate GA4 code directly with `book.js` (#470) * Integrate GA4 code directly with `book.js` The main advantage of this is that it simplifies the setup since we can avoid the monkey-patching we did before. A secondary advantage is that it should make things a little faster since we avoid a request to the server on every page load. * Remove unreachable return * Watch all of `third_party` It just occurred to me that we want to refresh the page in `mdbook serve` when anything changes in `third_party`.
2023-03-02 19:50:37 +02:00
additional-js = ["speaker-notes.js"]
Add language picker menu (#411) The picker is a drop-down menu using the same design as the theme picker in the top-left. There doesn’t seem to be an easy way to pass in a list of languages and descriptions, so for now we’ll have to expand the menu by hand as we add new languages. A comment has been added to `publish.yml` to remind us of this.
2023-02-15 16:10:16 +02:00
additional-css = ["svgbob.css", "speaker-notes.css", "language-picker.css"]
Set the site-url to fix 404 page on GitHub Pages (#263) This fixes the 404 page on GitHub Pages: the default is `/`, but we’re hosting the site from a subdirectory because of how the repository is setup. Fixes #178.
2023-01-24 13:03:46 +02:00
site-url = "/comprehensive-rust/"
Link back to repository in top-right corner
2022-12-21 18:28:02 +02:00
git-repository-url = "https://github.com/google/comprehensive-rust"
Add links to edit every page on GitHub This makes it super easy to edit a page: just click the icon in the top-right and you’ll be taken directly to an editor on GitHub.
2022-12-21 18:29:56 +02:00
edit-url-template = "https://github.com/google/comprehensive-rust/edit/main/{path}"
Publish Comprehensive Rust 🦀
2022-12-21 17:36:30 +02:00
[output.html.fold]
enable = true
level = 0
[output.html.playground]
editable = true
Setup redirects after #120 and #177 (#352) This makes `mdbook` output a simple redirect at the location of the old pages. I’ll try to add such pages when we shuffle around our pages to make sure external links stay valid.
2023-02-06 18:10:01 +02:00
[output.html.redirect]
Cleanup references to "Day 4" (#603) * Align outline with new spin-off course structure With the new structure, the section on Android is a spin-off course from the main 3-day course on Rust Fundamentals. The Bare-metal and Concurrency days are spin-off courses in the same way. * Explain new course structure * Align Bare-Metal welcome page with other deep dives * Merge Day 4 page into Course Structure page * Remove Day 4 Welcome page This aligns the Concurrency in Rust section with the Bare-Metal Rust deep dive. * Show subsections for Android deep dive This aligns the Rust in Android section with the other deep dives. * Clean up welcome page and README We now cover async Rust and the course is no longer a four day course. * Remove reference to the old Day 4 * Remove Day 4 references from exercises
2023-05-02 08:02:28 +02:00
# Redirects in the form of "old-path" = "new-path", where the new path
# is relative to the old path.
Setup redirects after #120 and #177 (#352) This makes `mdbook` output a simple redirect at the location of the old pages. I’ll try to add such pages when we shuffle around our pages to make sure external links stay valid.
2023-02-06 18:10:01 +02:00
"structure.html" = "running-the-course/course-structure.html"
Cleanup references to "Day 4" (#603) * Align outline with new spin-off course structure With the new structure, the section on Android is a spin-off course from the main 3-day course on Rust Fundamentals. The Bare-metal and Concurrency days are spin-off courses in the same way. * Explain new course structure * Align Bare-Metal welcome page with other deep dives * Merge Day 4 page into Course Structure page * Remove Day 4 Welcome page This aligns the Concurrency in Rust section with the Bare-Metal Rust deep dive. * Show subsections for Android deep dive This aligns the Rust in Android section with the other deep dives. * Clean up welcome page and README We now cover async Rust and the course is no longer a four day course. * Remove reference to the old Day 4 * Remove Day 4 references from exercises
2023-05-02 08:02:28 +02:00
"running-the-course/day-4.html" = "course-structure.html"
Generalize the day-4 afternoon (#487) * Generalize the day-4 afternoon This is in preparation for adding more options for this portion of the course, and reflects an existing practice of substituting other materials for this last half-day. * address review comments
2023-03-10 16:07:36 +02:00
"exercises/day-4/afternoon.html" = "exercises/day-4/android.html"
Setup redirects after #120 and #177 (#352) This makes `mdbook` output a simple redirect at the location of the old pages. I’ll try to add such pages when we shuffle around our pages to make sure external links stay valid.
2023-02-06 18:10:01 +02:00
"unsafe/unsafe-functions.html" = "calling-unsafe-functions.html"
Restructure Day-3 morning (#503) * Restructure Day-3 morning
2023-03-30 14:25:34 +02:00
"generics/closures.html" = "traits/closures.html"
"generics/impl-trait.html" = "traits/impl-trait.html"
"generics/trait-bounds.html" = "traits/trait-bounds.html"
Cleanup references to "Day 4" (#603) * Align outline with new spin-off course structure With the new structure, the section on Android is a spin-off course from the main 3-day course on Rust Fundamentals. The Bare-metal and Concurrency days are spin-off courses in the same way. * Explain new course structure * Align Bare-Metal welcome page with other deep dives * Merge Day 4 page into Course Structure page * Remove Day 4 Welcome page This aligns the Concurrency in Rust section with the Bare-Metal Rust deep dive. * Show subsections for Android deep dive This aligns the Rust in Android section with the other deep dives. * Clean up welcome page and README We now cover async Rust and the course is no longer a four day course. * Remove reference to the old Day 4 * Remove Day 4 references from exercises
2023-05-02 08:02:28 +02:00
"welcome-bare-metal.html" = "bare-metal.html"
"welcome-day-4.html" = "concurrency.html"
"exercises/day-4/android.html" = "../android/morning.html"
"exercises/day-4/morning.html" = "../concurrency/morning.html"
"exercises/day-4/solutions-morning.html" = "../concurrency/solutions-morning.html"
"exercises/day-4/dining-philosophers.html" = "../concurrency/dining-philosophers.html"
"exercises/day-4/link-checker.html" = "../concurrency/link-checker.html"
"exercises/day-4/elevator.html" = "../concurrency/elevator.html"
Run exerciser as mdbook renderer.
2023-04-03 17:18:32 +02:00
[output.exerciser]
Rename exercise template directory and archive.
2023-04-05 17:15:42 +02:00
output-directory = "comprehensive-rust-exercises"
Reference in New Issue Copy Permalink