Note : to manually fix that, I used :
for DESKTOPFILE in $HOME/.local/share/epiphany/app*/*.desktop ; do
NEWDIR=`dirname $DESKTOPFILE`
APPID=`basename $NEWDIR`
OLDDIR=$HOME/.config/epiphany/$APPID
sed -i "s#$OLDDIR#$NEWDIR#" $DESKTOPFILE &&\
ln -f -s $DESKTOPFILE $HOME/.local/share/applications/
done
--
Olivier
Le samedi 16 mars 2019 à 14:39 +0000, Debian Bug Tracking System a
écrit :
> Thank you for filing a new Bug report with Debian.
>
> You can follow progress on this Bug here: 924729:
> https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=924729.
>
> This is an automatically generated reply to let you know your message
> has been received.
>
> Your message is being forwarded to the package maintainers and other
> interested parties for their attention; they will reply in due
> course.
>
> Your message has been sent to the package maintainer(s):
> Debian GNOME Maintainers <
> pkg-gnome-maintain...@lists.alioth.debian.org>
>
> If you wish to submit further information on this problem, please
> send it to 924...@bugs.debian.org.
>
> Please do not send mail to ow...@bugs.debian.org unless you wish
> to report a problem with the Bug-tracking system.
>
