Para o meu daemon, montei (várias) pastas WebDAV somente leitura remotas¹ como "fontes" para extrair arquivos periodicamente. Deixe $SOURCE ser um deles para esta questão.
Antes de usar cegamente $SOURCE , acho que seria uma boa idéia verificar se a montagem ainda está operacional, já que o WebDAV não é conhecido pela estabilidade superior, portanto, a verificação no mount-time¹ já está concluída. "break" later².
As seguintes ideias não parecem me servir:
$SOURCE não é necessariamente controlado por mim $SOURCE também pode estar vazio, por isso haverá falsos negativos mount | grep " $SOURCE " : Isso não pode produzir falsos positivos no netdevs? mountpoint -q "$SOURCE" : mesmo sobre falsos positivos? Mais:
A verificação deve evitar o uso de quantidades inadequadas de largura de banda e memória. Então, adicionalmente curl da DAV montado em $SOURCE e verificando diferenças na estrutura de arquivos / pastas deve obviamente resolver meu problema, mas também explode esse requisito de qualquer maneira possível.
A verificação deve funcionar em bash³ + "basic linux stuff" ou microperl. O inchaço é ruim para os roteadores.
Eu sei que davfs2 usa um cache. E se ele estiver montado, a estrutura estiver em cache e a conexão falhar? Eu não terminaria com muitos arquivos vazios em $SOURCE ?
¹ Eu invoco davfs2 de um script. Ouvi dizer que você quer que eu seja preciso.
² Na verdade, meu daemon deve ser implantado principalmente em ambientes IP dinâmicos com uso 24 horas por dia, 7 dias por semana, de forma que as fontes passem a se reconectar diariamente na Internet.
³ ash do busybox, para ser preciso novamente.