Merge pull request #233 from joshua5201/master

Add fontsize url parameter
pull/234/head
Shengdun Hua 3 years ago committed by GitHub
commit e63f2674a3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -129,6 +129,11 @@ Passing an encoding
http://localhost:8888/#encoding=gbk
```
Passing a font size
```bash
http://localhost:8888/#fontsize=24
```
Passing a command executed right after login
```bash
http://localhost:8888/?command=pwd

@ -56,7 +56,7 @@ jQuery(function($){
key_max_size = 16384,
fields = ['hostname', 'port', 'username'],
form_keys = fields.concat(['password', 'totp']),
opts_keys = ['bgcolor', 'title', 'encoding', 'command', 'term'],
opts_keys = ['bgcolor', 'title', 'encoding', 'command', 'term', 'fontsize'],
url_form_data = {},
url_opts_data = {},
validated_form_data,
@ -360,12 +360,16 @@ jQuery(function($){
encoding = 'utf-8',
decoder = window.TextDecoder ? new window.TextDecoder(encoding) : encoding,
terminal = document.getElementById('terminal'),
term = new window.Terminal({
cursorBlink: true,
termOptions = {
theme: {
background: url_opts_data.bgcolor || 'black'
}
});
};
if (url_opts_data.fontsize !== undefined)
termOptions.fontSize = parseInt(url_opts_data.fontsize);
var term = new window.Terminal(termOptions);
term.fitAddon = new window.FitAddon.FitAddon();
term.loadAddon(term.fitAddon);

Loading…
Cancel
Save