drained: add settings type
parent
671ee4af7a
commit
14ad4b760a
|
|
@ -1,6 +1,7 @@
|
||||||
const app = "drained";
|
const app = "drained";
|
||||||
|
|
||||||
// from boot.js
|
// from boot.js
|
||||||
|
declare var drainedInterval: number | undefined;
|
||||||
if(typeof drainedInterval !== "undefined")
|
if(typeof drainedInterval !== "undefined")
|
||||||
drainedInterval = clearInterval(drainedInterval) as undefined;
|
drainedInterval = clearInterval(drainedInterval) as undefined;
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -1,4 +1,4 @@
|
||||||
const { battery = 5, interval = 10 } = require("Storage")
|
const { battery = 5, interval = 10 }: DrainedSettings = require("Storage")
|
||||||
.readJSON(`${app}.setting.json`, true) || {};
|
.readJSON(`${app}.setting.json`, true) || {};
|
||||||
|
|
||||||
let drainedInterval: number | undefined = setInterval(() => {
|
let drainedInterval: number | undefined = setInterval(() => {
|
||||||
|
|
|
||||||
|
|
@ -1,8 +1,13 @@
|
||||||
|
type DrainedSettings = {
|
||||||
|
battery?: number,
|
||||||
|
interval?: number,
|
||||||
|
};
|
||||||
|
|
||||||
((back: () => void) => {
|
((back: () => void) => {
|
||||||
const SETTINGS_FILE = "drained.setting.json";
|
const SETTINGS_FILE = "drained.setting.json";
|
||||||
|
|
||||||
const storage = require("Storage")
|
const storage = require("Storage")
|
||||||
const settings = storage.readJSON(SETTINGS_FILE, true) || {};
|
const settings: DrainedSettings = storage.readJSON(SETTINGS_FILE, true) || {};
|
||||||
settings.battery ??= 5;
|
settings.battery ??= 5;
|
||||||
settings.interval ??= 10;
|
settings.interval ??= 10;
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue