[Isis-fish-users] Bug : mise a jour du dépot de scripts sous pulse secure

Hello pulse secure est le logiciel qui nous permet d'accéder au réseau ifremer depuis l'extérieur. je m'apercois que lorsqu'il est connecté, si je passe d'une version d isis a une autre, isis ne demande pas de changer le depot de scripts et conserve ceux de la version précédente. Cela peut il etre réglé ? Merci