Just tried a source build of the crux branch and found that show dhcp server statistics is not working anymore
It is infact working in the 1.2.0 release!
cpo@LR2:~$ show dhcp server statistics Pool Size Leases Available Usage ------ ------ -------- ----------- ------- cpo@LR2:~$ show dhcp server leases Traceback (most recent call last): File "/usr/libexec/vyos/op_mode/show_dhcp.py", line 123, in <module> leases = get_leases(lease_file, state='active') File "/usr/libexec/vyos/op_mode/show_dhcp.py", line 60, in get_leases leases = IscDhcpLeases(lease_file).get() File "/usr/lib/python3/dist-packages/isc_dhcp_leases/iscdhcpleases.py", line 110, in get with open(self.filename) as lease_file: FileNotFoundError: [Errno 2] No such file or directory: '/config/dhcpd.leases'