#!/bin/bash

## Copyright (C) 2023 - 2023 ENCRYPTED SUPPORT LP <adrelanos@whonix.org>
## See the file COPYING for copying conditions.

while read -r line ; do

   base_name="${line##*/}"
   echo "$base_name"

done < <( dm-list-all-source-files | grep --fixed-strings -e "/usr/bin/" -e "/sbin/" )
