Skip to content
View in the app

A better way to browse. Learn more.

MSFN

A full-screen app on your home screen with push notifications, badges and more.

To install this app on iOS and iPadOS
  1. Tap the Share icon in Safari
  2. Scroll the menu and tap Add to Home Screen.
  3. Tap Add in the top-right corner.
To install this app on Android
  1. Tap the 3-dot menu (⋮) in the top-right corner of the browser.
  2. Tap Add to Home screen or Install app.
  3. Confirm by tapping Install.

Command line args

Featured Replies

I was asked if I could add a command line arg to toggle "Load desktop before install". It is no big deal to add it. But why stop there? Would you want to see all (or nearly all) options be changable via a command line arg?

WPI.hta options=myoptions.js ShowExtraButtons=true InstallByCategory=false ShowCommandLineInInstaller=true

This would temporarily override your saved settings.

Whatcha think?

mritter, I'm sure it would be useful, but I have never used switches and think I am OK with what I have. Some may feel strongly that they would be useful. Enjoy, John.

Happy new Year!!! :hello:

I think this is a good idea. :-)

Some options are really necessary - some maybe not.

So we could vote for options we want to have also available on commandline.

But: Maybe there is a user which needs an option for a very specific case which is not in the list. So why not implement something like a Map (or Dictionary in JS?) which holds all config-settings (key = config-key, value = config-value) and is initialized with default-values and can be overwritten with command-line-arguments.

e.g. settings['options'] = './WPIScripts/config.js';

if [command_line_has_options_argument] settings['options'] = get_argument_from_command_line

So you have

- all settings at one place

- can easily extend it

- can easily overwrite all settings with command-line-arguments

Al

Create an account or sign in to comment

Recently Browsing 0

  • No registered users viewing this page.

Account

Navigation

Configure browser push notifications

Chrome (Android)
  1. Tap the lock icon next to the address bar.
  2. Tap Permissions → Notifications.
  3. Adjust your preference.
Chrome (Desktop)
  1. Click the padlock icon in the address bar.
  2. Select Site settings.
  3. Find Notifications and adjust your preference.