1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
print('hello starting up...')
web.set('new_view_url', 'https://lite.duckduckgo.com')
web.set('close_window_when_no_views', true)
-- web.set('user_agent', 'MacOS | Safari - $500 edition')
web.set('downloads_dir', os.getenv('HOME') .. '/Downloads/firefox')
local dmenu = require 'null-browser.extras.dmenu'
local history = require 'null-browser.extras.history'
local search_engines = require 'null-browser.extras.search-engines'
history.attach_hooks()
search_engines.urls['ld'] = 'https://lite.duckduckgo.com/?q={}'
require 'null-browser.defaults.vi'.setup {
menu = dmenu,
history = history,
transform_url_input = search_engines.transform_url_input,
}
web.event.add_listener('PermissionRequested', {
callback = function(event)
dmenu.select({ 'Allow', 'Deny' }, { prompt = 'Requesting permission for ' .. event.permission_type },
function(err, choice)
if err then return print('-- x permission ignored') end
print('----- permission', event.permission_type, web.inspect(choice))
if web.utils.string_trim(choice) == 'Allow' then
event.accept()
else
event.reject()
end
end)
end,
})
print('ending...')
|
