blob: eeabcc01241b84973036758b7a47dfeb05b37f6c (
plain)
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
|
#!/bin/sh
# this script implements are more useful "browsing experience".
# We are assuming you want to use the event_manager.py and cookie_daemon.py.
# So, you must have them in the appropriate place, and cookie_daemon_socket must be configured in the default location
# Also, we assume existence of fifo/socket == correctly functioning cookie_daemon/event_manager.
# Checking correct functioning of the daemons here would be too complex here, and it's not implemented in uzbl-core either.
# But this shouldn't cause much problems..
if [ x"$XDG_DATA_HOME" == 'x' ]
then
XDG_DATA_HOME=$HOME/.local/share
fi
if [ x"$XDG_CACHE_HOME" == 'x' ]
then
XDG_CACHE_HOME=$HOME/.cache
fi
if [ ! -S $XDG_CACHE_HOME/uzbl/cookie_daemon_socket ]
then
$XDG_DATA_HOME/uzbl/scripts/cookie_daemon.py
fi
SOCKET_ID="$RANDOM$RANDOM"
SOCKET_DIR="/tmp"
SOCKET_PATH="$SOCKET_DIR/uzbl_socket_$SOCKET_ID"
uzbl-core "$@" -n $SOCKET_ID &
$XDG_DATA_HOME/uzbl/scripts/event_manager.py -vs $SOCKET_PATH
if [[ -S $SOCKETPATH ]]
then
rm $SOCKET_PATH
fi
|
