Аренда DHCP для Raspberry Pi не найдена

Этот вопрос частично связан с этим: Сеть - Общая для других компьютеров - Как найти IP-адрес клиента?

Моя установка такова, что я использую ноутбук в качестве шлюза Ethernet, а RasPberry является хостом. В связанном вопросе мой ответ показывает, что снимок экрана Wireshark ясно показывает, что на мой ноутбук поступает DHCP-запрос от raspberry, и ответ есть. Все идет нормально!

Многие ответы в интернете предлагают проверить /var/lib/NetworkManager/ каталог или /var/lib/dhcp справочник по аренде. Проблема в том, что во всех моих поисках я нашел только аренду IP-адресов, которые были предоставлены моему ноутбуку. Что меня интересует, так это нахождение записи об аренде, которую мой ноутбук дал малине.

И вы можете поверить мне на слово - я искал почти все, ничего не нашел, но ради того, чтобы быть последовательным и документировать все, вот мой grep результаты поиска.,. которые в основном ничего.

$ grep -R '10.42.0.40' /var/lib/NetworkManager/                             
grep: /var/lib/NetworkManager/secret_key: Permission denied

$ sudo grep -R '10.42.0.40' /var/lib/NetworkManager/                        
[sudo] password for xieerqi: 

$ sudo grep -R '10.42.0.40' /etc/NetworkManager/system-connections/         
[sudo] password for xieerqi: 

$ sudo grep -R '10.42.0.40' /var/lib/dhcp/                                  
[sudo] password for xieerqi:

Выход из netstat по запросу муру:

$ sudo netstat -unlp | grep -w 67                                           
[sudo] password for xieerqi: 
udp        0      0 0.0.0.0:67              0.0.0.0:*                           14866/dnsmasq   
udp        0      0 0.0.0.0:67              0.0.0.0:*                           1696/dnsmasq