Поэтому я сначала установил Windows 7 на свой ПК, затем Linux Mint 17.2 Cinnamon на тот же жесткий диск. Затем я установил драйвер локальной сети под Windows 7, потому что он сначала не распознавал интерфейс. После перезагрузки интернет-соединение под Mint пропало. Я не могу ни пропинговать какой-либо веб-сервер, ни шлюз в сети, но он все еще прекрасно работает под Windows. Я думаю, что это довольно странно, потому что то, что я делаю на одной ОС, не должно влиять на другую, верно? Pinging что-нибудь просто возвращает "целевой хост недоступен".
Также проблема не может быть в том, что Windows не освобождает IP-адрес, потому что я использую статические адреса. Сеть, в которой я работаю, не обеспечивает DHCP.