Afin d'augmenter l'espace libre sur /data, j'ai déplacé environ 15 Mo de fichiers d'application vers une partition ext2 sur une carte SD externe qui est montée sur /data/HWUserData/mnt.
Plus précisément, j'ai déplacé
/data/data/com.opera.browser/lib/*
à
/data/HWUserData/mnt/lib
et liés par un lien symbolique.
Cela a bien fonctionné jusqu'au redémarrage, car la partition de la carte SD n'est pas montée au moment du démarrage - le téléphone indique maintenant qu'Opera n'est pas installé.
Est-ce qu'il y a un moyen de dire à Android de rescanner, ou de refaire ce qu'il doit faire pour détecter qu'opera est installé et intégral à nouveau après le montage de la carte sd ? Est-ce que ça a un rapport avec le cache dalvik ?
Un autre problème/solution consiste à monter la carte SD au démarrage, je sais, mais ce n'est pas la question.