annotate libervia/pages/blog/view/_browser/__init__.py @ 1364:df40708c4c76

server: renamed `--dev_mode` to `--dev-mode` and set it as a flag: good practice is to use a dash instead of underscode for CLI arguments. This options is actually a flag, no need to specify the value.
author Goffi <goffi@goffi.org>
date Fri, 20 Nov 2020 17:53:01 +0100
parents f0648005cd11
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1337
f0648005cd11 browser: alternative media player:
Goffi <goffi@goffi.org>
parents:
diff changeset
1 #!/usr/bin/env python3
f0648005cd11 browser: alternative media player:
Goffi <goffi@goffi.org>
parents:
diff changeset
2
f0648005cd11 browser: alternative media player:
Goffi <goffi@goffi.org>
parents:
diff changeset
3 import alt_media_player
f0648005cd11 browser: alternative media player:
Goffi <goffi@goffi.org>
parents:
diff changeset
4
f0648005cd11 browser: alternative media player:
Goffi <goffi@goffi.org>
parents:
diff changeset
5
f0648005cd11 browser: alternative media player:
Goffi <goffi@goffi.org>
parents:
diff changeset
6 alt_media_player.install_if_needed()