Here's a simple hack for using a modified opera.ini. So far, it seems to work, however it will occasionally pick up the old one if you exit opera and go back in too quickly.
First (one time only) start up opera and then via the shell do a:
cp /tmp/opera_home/opera.ini /mnt/data/Data/arcwelder
And cat/copy this into arcwelder as 'ophack' (chmod 777 isn't necessary as we're on fat32 which doesn't support permissions):
#!/bin/sh
while [ 1 ]
do
# Wait for /tmp/opera_dir/opera.ini to exist
while [ ! -e /tmp/opera_home/opera.ini ]
do
sleep 1
done
cp /mnt/data/Data/arcwelder/opera.ini /tmp/opera_home/opera.ini
# Wait for /tmp/opera_dir/opera.ini to disappear
while [ -e /tmp/opera_home/opera.ini ]
do
sleep 1
done
done
Run this in the background ( /mnt/data/Data/arcwelder/ophack & ). Modify your new opera.ini in Data/arcwelder to your heart's content. The first thing I did was enable the scrollbars (I *still* can't believe they turned them off). It looks like the proxy section is in there already as well.
Cool hack, although it causes the odd reset on my machine.
I tried mounting /usr/opera with write permissions and fiddling around with stuff there, but apart from changing stylesheets, fonts etc the only useful configuration you can do is to delete /usr/opt/opera_dir/urlfilter.ini, then you can browse your filesystem in Opera using url 'file:///' (It's a nice way to read those long config files)
In fact the opera.ini settings seem to be hardcoded into avos, here's a hexdump starting at offset 0x0096d170:
0096d170 5b 55 73 65 72 20 50 72 65 66 73 5d 0a 42 75 74 |[User Prefs].But| 0096d180 74 6f 6e 20 53 65 74 3d 24 4f 50 45 52 41 5f 44 |ton Set=$OPERA_D| 0096d190 49 52 2f 73 6b 69 6e 2f 61 63 67 5f 73 6b 69 6e |IR/skin/acg_skin| 0096d1a0 2e 7a 69 70 0a 53 68 6f 77 20 53 63 72 6f 6c 6c |.zip.Show Scroll| 0096d1b0 42 61 72 73 3d 30 0a 53 63 72 6f 6c 6c 20 49 73 |Bars=0.Scroll Is| 0096d1c0 20 50 61 6e 3d 31 0a 45 6e 61 62 6c 65 20 43 6f | Pan=1.Enable Co| 0096d1d0 6f 6b 69 65 73 3d 33 0a 49 6d 61 67 65 20 4c 6f |okies=3.Image Lo| 0096d1e0 61 64 69 6e 67 20 45 6e 61 62 6c 65 64 3d 31 0a |ading Enabled=1.| 0096d1f0 44 6f 77 6e 6c 6f 61 64 20 44 69 72 65 63 74 6f |Download Directo| 0096d200 72 79 3d 2f 6d 6e 74 2f 64 61 74 61 2f 44 6f 77 |ry=/mnt/data/Dow| 0096d210 6e 6c 6f 61 64 73 0a 49 67 6e 6f 72 65 20 55 6e |nloads.Ignore Un| 0096d220 72 65 71 75 65 73 74 65 64 20 50 6f 70 75 70 73 |requested Popups| 0096d230 3d 31 0a 57 61 72 6e 20 49 6e 73 65 63 75 72 65 |=1.Warn Insecure| 0096d240 20 46 6f 72 6d 3d 30 0a 46 69 6c 65 20 55 52 4c | Form=0.File URL| 0096d250 73 20 45 6e 61 62 6c 65 64 3d 31 0a 41 76 6f 69 |s Enabled=1.Avoi| 0096d260 64 20 46 6c 69 63 6b 65 72 3d 30 0a 50 6c 75 67 |d Flicker=0.Plug| 0096d270 69 6e 20 50 61 74 68 3d 24 4f 50 45 52 41 5f 48 |in Path=$OPERA_H| 0096d280 4f 4d 45 2f 70 6c 75 67 69 6e 73 0a 48 69 73 74 |OME/plugins.Hist| 0096d290 6f 72 79 20 4e 61 76 69 67 61 74 69 6f 6e 20 4d |ory Navigation M| 0096d2a0 6f 64 65 3d 32 0a 0a 5b 44 69 73 6b 20 43 61 63 |ode=2..[Disk Cac| 0096d2b0 68 65 5d 0a 53 69 7a 65 3d 33 32 30 30 30 0a 43 |he].Size=32000.C| .....
So unfortunately no opera:config, even after deleting urlfilter.ini