Rename debian12 distrobox -> debian

This commit is contained in:
John Mertz 2023-07-21 15:20:15 -04:00
parent b87527f8b0
commit d58589fb3c
Signed by: jpm
GPG Key ID: E9C5EA2D867501AB
1 changed files with 2 additions and 2 deletions

View File

@ -1,9 +1,9 @@
#!/bin/sh #!/bin/sh
# distrobox_binary # distrobox_binary
# name: debian12 # name: debian
USE_DISPLAYS=`cat /var/home/jpm/.spool/wallpaper_outputs` USE_DISPLAYS=`cat /var/home/jpm/.spool/wallpaper_outputs`
if [ ! -f /run/.containerenv ] && [ ! -f /.dockerenv ]; then if [ ! -f /run/.containerenv ] && [ ! -f /.dockerenv ]; then
command="/usr/bin/distrobox-enter -n debian12 -- /var/home/jpm/scripts/sway/wallpaper.pl --path=/var/home/jpm/wallpapers -d $USE_DISPLAYS " command="/usr/bin/distrobox-enter -n debian -- /var/home/jpm/scripts/sway/wallpaper.pl --path=/var/home/jpm/wallpapers -d $USE_DISPLAYS "
for arg in "$@"; do for arg in "$@"; do
if echo "${arg}" | grep -Eq "'|\""; then if echo "${arg}" | grep -Eq "'|\""; then