distr_info: remove duplicated words from pretty name

bin/distr_info

@@ -802,6 +802,11 @@ get_service_manager()
     echo "(unknown)"
 }
 
+filter_duplicated_words()
+{
+    echo "$*" | xargs -n1 echo | uniq | xargs -n100 echo
+}
+
 print_pretty_name()
 {
     if [ -z "$PRETTY_NAME" ] ; then
@@ -812,7 +817,7 @@ print_pretty_name()
         PRETTY_NAME="$PRETTY_NAME ($DISTRIB_FULL_RELEASE)"
     fi
 
-    echo "$PRETTY_NAME"
+    echo "$(filter_duplicated_words "$PRETTY_NAME")"
 }
 
 print_total_info()