Update default.inc

2023-04-22 14:04:49 -05:00
parent ebed0c83c4
commit 5eaec0887a
1 changed files with 6 additions and 0 deletions
--- a/default.inc
+++ b/default.inc
@@ -28,6 +28,12 @@ containsElement () {

 function join_by { local IFS="$1"; shift; echo "$*"; }

+IPprefix_by_netmask () { 
+   c=0 x=0$( printf '%o' ${1//./ } )
+   while [ $x -gt 0 ]; do
+       let c+=$((x%2)) 'x>>=1'
+   done
+   echo /$c ; }

 if type apt &>/dev/null; then
 	ATYPE="apt"