#!/bin/bash

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

while read -r line ; do

   base_name="${line##*/}"
   printf '%s\n' "$base_name"

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