← Back to team overview

sslug-teknik team mailing list archive

Re: Firefox låser - løst

 

E. Sjørlund wrote:

> Jeg vender tilbage enten med en løsning eller et nødråb, sandsynligheden
> er omkring 1:5 for de to muligheder.
> 
Dette script synes at løse problemet:

#!/bin/sh
# Start af firefox med same profil fra flere maskiner,
# hvor HOME er på serveren via NFS mount.
# Scriptet lægges ud i alle brugeres HOME/bin samt i /etc/skel/bin
# Kommenteret vildt meget i håb om, at jeg selv kan forstå det om
# et år eller to.

cd ~/.mozilla/firefox

# Kontroller om der er sket en opsamling af profilen i dir'et symlinks
if [ ! -d  symlinks ]; then

# Kontoller om der overhovedet eksisterer en .default profil
 if [ ! -d *.default ]; then
  /usr/bin/firefox  # Første gang firefox startes.
                    # Der oprettes automatisk en default profil
  exit 0            # Ikke mere første gang
 fi

# Omdøb default-profilen  til navnet symlinks
 mv -f *.default symlinks

# og lav en ny, tom profiles.ini
 echo "[General]" > profiles.ini
 echo "StartWithLastProfile=0" >> profiles.ini
fi

# Se om der allerede eksisterer en profil med maskinens navn
if [ ! -d "$HOSTNAME" ]; then

# Profilen mangler, så opret den og link alt i symlinks over.
 mkdir "$HOSTNAME"
 cd "$HOSTNAME"
 for i in "../symlinks/*" ; do
  ln -s $i .
 done
 cd ..

# Tilføj profilen i profiles.ini.
 echo "" >> ~/.mozilla/firefox/profiles.ini

# Jeg tager chancen, og går ud fra, at der ikke slettes noget i
# profiles.ini. Derfor vil de enkelte profiler få det næste
# ledige nummer som overskrift ud fra antallet af profiler.

 echo "[Profile`cat profiles.ini | grep -c "\[Profile"`]" >>
~/.mozilla/firefox/profiles.ini

# Resten af profilen er blot baseret på maskinens navn.

 echo "Name=$HOSTNAME" >> ~/.mozilla/firefox/profiles.ini
 echo "IsRelative=1" >> ~/.mozilla/firefox/profiles.ini
 echo "Path=$HOSTNAME" >> ~/.mozilla/firefox/profiles.ini
fi

# På dette tidspunkt eksisterer der en maskinprofil - brug den.

/usr/bin/firefox -P $HOSTNAME


----


References