View Single Post
antezz's Avatar
Posts: 172 | Thanked: 160 times | Joined on Jan 2010 @ Sweden
#47
Originally Posted by ahockersten View Post
I have a quick attempt at a workaround for the not saving settings issue. From a terminal window run:
Code:
rm -rf /home/user/.opera
mkdir -p /home/user/.opera/ds
We are working on a fix, though we can't reproduce it on any of the devices we have here in the office, so it may take a while.

In the meantime, if those of you who experience the problem would PM me the following info (before doing the workaround above!) it would help us greatly:
- Output from running
Code:
echo $HOME
- Output from running
Code:
ls -la /home/user/.opera
Can't pm you so i dump info here:

Code:
~ $ echo $HOME
/home/user

~ $ ls -la /home/user/.opera
total 12
drwxr-xr-x 3 root root 4096 2009-12-18 21:03 .
drwxr-xr-x 80 user users 4096 2010-05-08 20:44 ..
drwxr-xr-x 2 root root 4096 2009-12-18 21:03 skin
Going to try your workaround now.