networking - DHCP lease for raspberry pi not found - Ask Ubuntu

this question semi - related one: networking - shared other computers - how find client's ip address?

my setup such i'm using laptop ethernet gateway, , raspberry host. in linked question, answer has wireshark capture screenshot shows there dhcp request going laptop raspberry , there response. far !

many answers on internet suggest check /var/lib/networkmanager/ directory or /var/lib/dhcp directory leases. problem in searches found leases ip addresses given laptop. interested in finding record of lease laptop gave raspberry.

and can take word - i've searched everything, didn't find nothing, sake of being consistent , documenting everything, here's grep search results . . .which nothing.

$ 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 xieerqi:   $ sudo grep -r '10.42.0.40' /etc/networkmanager/system-connections/          [sudo] password xieerqi:   $ sudo grep -r '10.42.0.40' /var/lib/dhcp/                                   [sudo] password xieerqi: 

output of netstat requested muru:

$ sudo netstat -unlp | grep -w 67                                            [sudo] password 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  

given netstat output shows dnsmasq dhc server here, this mailing list post suggests /var/lib/misc/dnsmasq.leases file leases stored.