Ok, acabou por ser o que eu acho que é um problema de cache. O diretório pai já estava aberto no Nautilus quando eu fiz o mkdir
. Quando o novo diretório não apareceu, reiniciei o Nautilus e naveguei para o diretório pai, mas o novo diretório ainda estava faltando. Depois de postar a pergunta, eu fiz um Ctrl+R
no diretório pai e o novo diretório apareceu.