
                     Info.txt
    SpiderControl MicroBrowser for Raspberry Pi OS

--------------------------------------------------------------------------------
Find below the installation procedure in few steps.
Note, use sudo in the following commands, only if you are not already logged in as root or su

1) Copy the tarball file MicroBrowser.tgz into /home/pi/

2) Extract files with following command lines (it will create a new folder MicroBrowser)

  $ cd /home/pi
  $ tar xvzf MicroBrowser.tgz
  $ rm MicroBrowser.tgz

3) Change permission for executable files

  $ cd /home/pi/MicroBrowser
  $ chmod 755 MicroBrowser

4) Install microbrowser service

  Depending on the system available on Linux, use one of the following procedure

  a) With systemd (systemctl), read the installation procedure into
     install/systemd/Info-install.txt

  b) With init (as fallback), read the installation procedure into
     install/init/Info-install.txt

5) Reboot

  $ sudo reboot

--------------------------------------------------------------------------------
If auto start is installed with service, one can use following commands to 
start, stop and see the status of the service with the last log messages

 $ sudo systemctl start microbrowser
 $ sudo systemctl stop microbrowser
 $ sudo systemctl status microbrowser
Or
 $ sudo service microbrowser start
 $ sudo service microbrowser stop
 $ sudo service microbrowser status

And use journalctl, to see messages of the microbrowser.service

 $ sudo journalctl -u microbrowser.service

To see the 20 last entries in journal of the microbrowser.service

 $ sudo journalctl -n 20 -u microbrowser.service

To show all the most recent entries, and continuously print new entries

 $ sudo journalctl -f
 ...
 (Type Ctrl+C to exit)

--------------------------------------------------------------------------------
Order a License Key

When you start the SpiderControl MicroBrowser, you will be prompted to enter a license key.
With the Challenge Code displayed in the window, you can purchase a CDS license key in our web shop

   https://lizenz.spidercontrol.net/

For further info, contact us per email info@ininet.ch

*** Reboot the Raspberry Pi device or Restart the service after having entered the License key ***

Note, the license key is stored in the configuration file: uBrowser.xml

--------------------------------------------------------------------------------
Change Color depth of the frame buffer to 24 bit per pixel

Add the following lines in the end of the config file and reboot

$ sudo nano /boot/config.txt

# Color depth 24 bpp (888)
framebuffer_depth=32
framebuffer_ignore_alpha=1

--------------------------------------------------------------------------------
Raspberry Pi 4 with 4K HDMI display

How to change the display framebuffer settings from 4K to FHD (1920x1080)
Change config.txt file and reboot

$ sudo nano /boot/config.txt

# Remove disable_overscan, otherwise borders are out of the screen
#disable_overscan=1

# Configuration of framebuffer width and height seem to be ignored
framebuffer_width=1920
framebuffer_height=1080

# hdmi_group=1 (CEA), hdmi_mode=5 (1080i-60Hz)
hdmi_group=1
hdmi_mode=5 
hdmi_drive=2

For details:
https://www.raspberrypi.org/documentation/configuration/config-txt/video.md

--------------------------------------------------------------------------------
Support physical keyboard

The keyboard device is automatically detected by the MicroBrowser, when the USB keyboard is pluged-in on startup
To check what kind of input devices are connected on my Raspberry Pi

$ cat /proc/bus/input/devices

I: Bus=0003 Vendor=0603 Product=00f2 Version=0110
N: Name="NOVATEK USB Keyboard"
P: Phys=usb-3f980000.usb-1.2/input0
S: Sysfs=/devices/platform/soc/3f980000.usb/usb1/1-1/1-1.2/1-1.2:1.0/0003:0603:00F2.0001/input/input0
U: Uniq=
H: Handlers=sysrq kbd event0
B: PROP=0
B: EV=120013
B: KEY=10000 7 ff9f207a c14057ff febeffdf ffefffff ffffffff fffffffe
B: MSC=10
B: LED=1f

I: ...

Here, the input device with 'EV=120013' is a Keyboard and 'Handlers=... event0'
gives the name of input device: /dev/input/event0

To specify another device, use the environment variable "KBD_DEVICE", like that:

$ export KBD_DEVICE=/dev/input/event2

And change <sip> to 1, in order to edit values in a Text-Field with the physical keyboard

--------------------------------------------------------------------------------
Set input devices in service file (if need):

File: ./MicroBrowser/install/systemd/microbrowser.service

[Service]
WorkingDirectory=/home/pi/MicroBrowser
Environment=TSLIB_TSDEVICE=/dev/input/event0
Environment=KBD_DEVICE=/dev/input/event1
ExecStart=/home/pi/MicroBrowser/MicroBrowser
...

--------------------------------------------------------------------------------
VNC: Remote access a Raspberry Pi

1) TightVNC Server

Install TightVNC server for Raspberry Pi is an alternative solution to RealVNC

https://iotdesignpro.com/projects/setup-raspberry-pi-remote-desktop-using-tightvnc

 $ sudo apt-get update && sudo apt-get upgrade
 $ sudo apt-get install tightvncserver

The default port is 5901
and use SSH tunneling on port 22, with username pi, the default password is raspberry

2) MicroBrowser VNC Client

  $ ./MicroBrowser vnc://192.168.1.123/

URL
   vnc://hostname[:port]/[bpp/[password]]

The default port is 5900

The pixel format bpp is optional, use 0 to use the default parameters from server, or let it empty if you don't have any password, like
   vnc://hostname[:port]/

Pixel format bpp is either:
   32 for 32 bpp 888 (depth 24-bit)
   16 for 16 bpp 565
   16.15 for 16 bpp, 555 (depth 15-bit)
   8 for 8 bpp (256 colours)
   8.6 for 8 bpp (64 colours with depth 6-bit)
   8.3 for 8 bpp (8 colours with depth 3-bit)
   0 to use default parameters of the server

To use the default parameters from the VNC server, use an URL like
  vnc://192.168.1.123/   (default port and no password is needed)
  vnc://192.168.1.123:5901/0/raspberry  (on Raspberry pi use bpp=0 and the password is raspberry)

Otherwise, set Pixel format in URL like
   vnc://192.168.1.123:5901/16/raspberry

32 bpp, 888
    vnc://192.168.1.123:5901/32/raspberry
16 bpp, 565
    vnc://192.168.1.123:5901/16/raspberry
16 bpp, 555 (depth: 15-bit)
    vnc://192.168.1.123:5901/16.15/raspberry
8 bpp, 256 colors
    vnc://192.168.1.123:5901/8/raspberry
8 bpp, 64 colors (depth: 6-bit)
    vnc://192.168.1.123:5901/8.6/raspberry
8 bpp, 8 colors (depth: 3-bit)
    vnc://192.168.1.123:5901/8.3/raspberry

--------------------------------------------------------------------------------
How to set static IP address on Raspberry Pi?

Add following lines in the end of the configuration file:

   /etc/dhcpcd.conf

$ sudo nano /etc/dhcpcd.conf
...
# Custom static IP address for eth0.
interface eth0
static ip_address=192.168.1.123/24
static routers=192.168.1.1
static domain_name_servers=192.168.1.1

Press Ctrl-X to close and press Y to save the modifications.
Afterwards, reboot the raspberry Pi.

--------------------------------------------------------------------------------
Set date and time on Raspberry Pi OS

 $ sudo date -s "12 SEP 2025 14:05:00"

--------------------------------------------------------------------------------
(c) 2025 iniNet Solutions GmbH, 4132 Muttenz (Switzerland)
2025.09.12/Jf
