leanprover-community / lean4game

Server to host lean games.
https://adam.math.hhu.de
GNU General Public License v3.0
197 stars 35 forks source link

Environment Variable for Default Language Setting #248

Closed RexWzh closed 4 months ago

RexWzh commented 4 months ago

This PR enables the use of an environment variable, VITE_CLIENT_DEFAULT_LANGUAGE, to set the default language for the application, enhancing deployment flexibility.

Changes

The variable prefix VITE_ is used as the discussion on stackoverflow.

Thanks for reviewing this update.