123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121 |
- using System;
- using System.Collections.Generic;
- using System.Diagnostics;
- using System.IO;
- using System.Reflection;
- using System.Text.Json;
- using System.Text.Json.Serialization;
- #nullable enable
- namespace Terminal.Gui {
- public static partial class ConfigurationManager {
- /// <summary>
- /// The root object of Terminal.Gui configuration settings / JSON schema. Contains only properties
- /// attributed with <see cref="SettingsScope"/>.
- /// </summary>
- /// <example><code>
- /// {
- /// "$schema" : "https://gui-cs.github.io/Terminal.Gui/schemas/tui-config-schema.json",
- /// "Application.UseSystemConsole" : true,
- /// "Theme" : "Default",
- /// "Themes": {
- /// },
- /// },
- /// </code></example>
- /// <remarks>
- /// </remarks>
- [JsonConverter (typeof (ScopeJsonConverter<SettingsScope>))]
- public class SettingsScope : Scope<SettingsScope> {
- /// <summary>
- /// Points to our JSON schema.
- /// </summary>
- [JsonInclude, JsonPropertyName ("$schema")]
- public string Schema { get; set; } = "https://gui-cs.github.io/Terminal.Gui/schemas/tui-config-schema.json";
- /// <summary>
- /// The list of paths to the configuration files.
- /// </summary>
- public List<string> Sources = new List<string> ();
- /// <summary>
- /// Updates the <see cref="SettingsScope"/> with the settings in a JSON string.
- /// </summary>
- /// <param name="stream">Json document to update the settings with.</param>
- /// <param name="source">The source (filename/resource name) the Json document was read from.</param>
- public SettingsScope? Update (Stream stream, string source)
- {
- // Update the existing settings with the new settings.
- try {
- Update (JsonSerializer.Deserialize<SettingsScope> (stream, serializerOptions)!);
- OnUpdated ();
- Debug.WriteLine ($"ConfigurationManager: Read configuration from \"{source}\"");
- Sources.Add (source);
- return this;
- } catch (JsonException e) {
- if (ThrowOnJsonErrors ?? false) {
- throw;
- } else {
- AddJsonError ($"Error deserializing {source}: {e.Message}");
- }
- }
- return this;
- }
-
- /// <summary>
- /// Updates the <see cref="SettingsScope"/> with the settings in a JSON file.
- /// </summary>
- /// <param name="filePath"></param>
- public SettingsScope? Update (string filePath)
- {
- var realPath = filePath.Replace("~", Environment.GetFolderPath (Environment.SpecialFolder.UserProfile));
- if (!File.Exists (realPath)) {
- Debug.WriteLine ($"ConfigurationManager: Configuration file \"{realPath}\" does not exist.");
- Sources.Add (filePath);
- return this;
- }
- var stream = File.OpenRead (realPath);
- return Update (stream, filePath);
- }
- /// <summary>
- /// Updates the <see cref="SettingsScope"/> with the settings from a Json resource.
- /// </summary>
- /// <param name="assembly"></param>
- /// <param name="resourceName"></param>
- public SettingsScope? UpdateFromResource (Assembly assembly, string resourceName)
- {
- if (resourceName == null || string.IsNullOrEmpty (resourceName)) {
- Debug.WriteLine ($"ConfigurationManager: Resource \"{resourceName}\" does not exist in \"{assembly.GetName ().Name}\".");
- return this;
- }
-
- using Stream? stream = assembly.GetManifestResourceStream (resourceName)!;
- if (stream == null) {
- Debug.WriteLine ($"ConfigurationManager: Failed to read resource \"{resourceName}\" from \"{assembly.GetName ().Name}\".");
- return this;
- }
- return Update (stream, $"resource://[{assembly.GetName().Name}]/{resourceName}");
- }
- /// <summary>
- /// Updates the <see cref="SettingsScope"/> with the settings in a JSON string.
- /// </summary>
- /// <param name="json">Json document to update the settings with.</param>
- /// <param name="source">The source (filename/resource name) the Json document was read from.</param>
- public SettingsScope? Update (string json, string source)
- {
- var stream = new MemoryStream ();
- var writer = new StreamWriter (stream);
- writer.Write (json);
- writer.Flush ();
- stream.Position = 0;
- return Update (stream, source);
- }
- }
- }
- }
|