Как удалить файл из индекса (= район сосредоточения войск = кэш), не удаляя его из файловой системы?
При работе с амортизированными операциями O (1) можно использовать либо Data. Последовательность
из пакета контейнеров, либо Data.Dequeue
из пакета dequeue. Первый использует деревья пальцев , в то время как второй использует «Декве банкира» из Структуры чисто функциональных данных Окасаки (предыдущая версия онлайн здесь ).
Просто определите его как обычную функцию в верхней части сценария:
<script type="text/javascript">
function getlist(url, gkey){
...
}
</script>
-121--912122- Вы хотите:
git rm --cached [file]
Если опущен параметр -кешированный
, он также удалит его из рабочего дерева. git rm
немного безопаснее, чем git reset
, поскольку вы будете предупреждены, если поэтапное содержимое не соответствует ни кончику ветви, ни файлу на диске. (Если нет, необходимо добавить -force
.)
Это должно привести к нестабильности <файла> для вас (без удаления или других изменений файла):
git reset <file>