Skip to content

Conversation

@pull
Copy link

@pull pull bot commented Feb 16, 2023

See Commits and Changes for more details.


Created by pull[bot]

Can you help keep this open source service alive? 💖 Please sponsor : )

ssaunier and others added 8 commits February 16, 2023 08:17
* verify locale

* setup guides generated

* Moving 'closing the terminal' down low

* setup guides generated

---------

Co-authored-by: github-actions <github-actions@github.com>
Co-authored-by: Sébastien Saunier <seb@saunier.me>
@pull pull bot added the ⤵️ pull label Feb 16, 2023
github-actions and others added 30 commits July 7, 2025 09:57
* Set SSH default in gh auth command

Currently students have to select the protocol in the interactive
questions asked by `gh`. The first option is HTTP, and regularly is
chosen by accident instead of SSH. This remains undetected until late in
the setup, or even later, and then requires several steps (especially if
challenge repos have already been created).

This commit sets the correct protocol in the command, so it no longer
needs to be set in the interactive questions.

* Format gh questions as list
* Correction typos in French

* Move locale from Win Ubuntu to CLI tools partial

The locale problem also happens on some Ubuntu installations.

The solution currently sits in the Windows Update partial, but it makes
more sense to include it in a partial that caters for both Windows and
Ubuntu.

The start of the CLI tools section is a good place to do this:
- It fits  better with the setup actions we do in that section.
- It is still early enough: the problem only gets triggered after dotfiles.

This commit will automatically move this in the right place. No need to
change the `build.rb`. The next rebuild of the data-setup will then also
include these changes. DA and DE setups do not rely on these partials.

Also corrected some typos in the FR partial.
* multiLinePaste warning has been renamed

Adapt to new naming convention for Windows Terminal settings.

First step to fix lewagon/teachers#3545

* Add the disappeared comma
* Add partial for disabling AI features in VSCode

VS Code now by defaults activates all AI features, and students don't
disable them. This hampers their learning experience.

This partial explains how to disable AI features in VS Code.

We also mention that later on we can re-enable them.

Working via the Command Palette is the easiest way to do it.
- The settings menu option is in a different place on Windows / macOS.
- The menu option opens the JSON settings by default, which is more
  complex and error-prone for students.

Fixes lewagon/teachers#3503

* Translations of AI features partial
* Note on Windows 10 security

* Translations for Win 10 warning
* Changed 2 confusing instructions

* Update windows_terminal.md
* Upgrade to rails 8.1.1

* Upgrade sqlite3
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.