From 13f56aab85495add5a333dcac90644f9ed817a2a Mon Sep 17 00:00:00 2001 From: TiynGER Date: Thu, 2 Apr 2020 00:06:34 +0200 Subject: [PATCH] giving some props to the creators --- .local/bin/suckless/suckclean | 1 + .local/bin/suckless/suckdiff | 1 + .local/bin/suckless/suckmerge | 1 + .local/bin/tools/dmenuhandler | 1 + .local/bin/tools/dmenupass | 3 ++ .local/bin/tools/dmenuunicode | 2 + .local/bin/tools/dwm/dmenumount | 2 + .local/bin/tools/dwm/dmenuumount | 2 + .local/bin/tools/dwm/lmc | 2 + .local/bin/tools/dwm/startpagesearch | 3 ++ .local/bin/tools/dwm/togglemonitor | 3 ++ .local/bin/tools/dwm/toggletouchpad | 3 ++ .local/bin/tools/ifinstalled | 3 ++ .local/bin/tools/linkhandler | 1 + .local/bin/tools/nvim/compiler | 2 +- .local/bin/tools/nvim/opout | 1 + .local/bin/tools/nvim/texclear | 1 + .local/bin/tools/prompt | 2 + .local/bin/tools/setbg | 1 + .local/bin/tools/statusbar/battery | 2 + .local/bin/tools/statusbar/clock | 2 + .local/bin/tools/statusbar/cpu | 2 + .local/bin/tools/statusbar/disk | 1 + .local/bin/tools/statusbar/dwmbar | 3 ++ .local/bin/tools/statusbar/internet | 2 + .local/bin/tools/statusbar/memory | 2 + .local/bin/tools/statusbar/refbar | 1 + .local/bin/tools/statusbar/volume | 2 + .local/bin/tools/sxhkd/dmenumount | 59 -------------------------- .local/bin/tools/sxhkd/dmenuumount | 41 ------------------ .local/bin/tools/sxhkd/startpagesearch | 20 --------- .local/bin/tools/vifm/vifmimg | 2 + .local/bin/tools/vifm/vifmrun | 3 ++ 33 files changed, 56 insertions(+), 121 deletions(-) delete mode 100755 .local/bin/tools/sxhkd/dmenumount delete mode 100755 .local/bin/tools/sxhkd/dmenuumount delete mode 100755 .local/bin/tools/sxhkd/startpagesearch diff --git a/.local/bin/suckless/suckclean b/.local/bin/suckless/suckclean index 33f9bd2..3caec30 100755 --- a/.local/bin/suckless/suckclean +++ b/.local/bin/suckless/suckclean @@ -2,5 +2,6 @@ # for cleaning up the master branch of a git directory according to my suckless patch structure # e.g. see dwm/st/etc +# by uoou, checkout gitlab.com/uoou/dotfiles make clean && rm -f config.h && git reset --hard origin/base diff --git a/.local/bin/suckless/suckdiff b/.local/bin/suckless/suckdiff index 3952da4..a764ddb 100755 --- a/.local/bin/suckless/suckdiff +++ b/.local/bin/suckless/suckdiff @@ -2,6 +2,7 @@ # for showing the diffs to the master branch of a git directory according to my suckless patch structure # e.g. see dwm/st/etc +# by uoou, checkout gitlab.com/uoou/dotfiles git checkout master && dotfiles="/home/tiynger/.config/dotfiles/suckless" diff --git a/.local/bin/suckless/suckmerge b/.local/bin/suckless/suckmerge index 103cb5f..5eb80ea 100755 --- a/.local/bin/suckless/suckmerge +++ b/.local/bin/suckless/suckmerge @@ -2,6 +2,7 @@ # for merging all branches into the master branch of a git directory according to my suckless patch structure # e.g. see dwm/st/etc +# by uoou, checkout gitlab.com/uoou/dotfiles suckdiff && git reset --hard origin/base && diff --git a/.local/bin/tools/dmenuhandler b/.local/bin/tools/dmenuhandler index 391bdc1..7a2e6f6 100755 --- a/.local/bin/tools/dmenuhandler +++ b/.local/bin/tools/dmenuhandler @@ -1,6 +1,7 @@ #!/bin/sh # Feed this script a link and it will give dmenu # some choice programs to use to open it. +# by lukesmithxyz, checkout github.com/lukesmithxyz/voidrice case "$(printf "copy url\\nmpv\\nmpv (loop)\\nqueue download\\n\\nqueue youtube-dl\\nfeh\\nbrowser\\nw3m\\nmpv (float)" | dmenu -i -p "Open link with what program?")" in "copy url") echo "$1" | xclip -selection clipboard ;; diff --git a/.local/bin/tools/dmenupass b/.local/bin/tools/dmenupass index d484b14..a7dd509 100755 --- a/.local/bin/tools/dmenupass +++ b/.local/bin/tools/dmenupass @@ -1,2 +1,5 @@ #!/bin/sh + +# by lukesmithxyz, checkout github.com/lukesmithxyz/voidrice + dmenu -P -p "$1" <&- && echo diff --git a/.local/bin/tools/dmenuunicode b/.local/bin/tools/dmenuunicode index ac62bd9..c44b5f7 100755 --- a/.local/bin/tools/dmenuunicode +++ b/.local/bin/tools/dmenuunicode @@ -1,6 +1,8 @@ #!/bin/sh + # Give dmenu list of all unicode characters to copy. # Shows the selected character in dunst if running. +# by lukesmithxyz, checkout github.com/lukesmithxyz/voidrice # Must have xclip installed to even show menu. xclip -h >/dev/null || exit diff --git a/.local/bin/tools/dwm/dmenumount b/.local/bin/tools/dwm/dmenumount index 0de5f0f..df65a35 100755 --- a/.local/bin/tools/dwm/dmenumount +++ b/.local/bin/tools/dwm/dmenumount @@ -1,8 +1,10 @@ #!/bin/sh + # Gives a dmenu prompt to mount unmounted drives. # If they're in /etc/fstab, they'll be mounted automatically. # Otherwise, you'll be prompted to give a mountpoint from already existsing directories. # If you input a novel directory, it will prompt you to create that directory. +# by lukesmithxyz, checkout github.com/lukesmithxyz/voidrice getmount() { \ [ -z "$chosen" ] && exit 1 diff --git a/.local/bin/tools/dwm/dmenuumount b/.local/bin/tools/dwm/dmenuumount index dee53e7..9f66e5f 100755 --- a/.local/bin/tools/dwm/dmenuumount +++ b/.local/bin/tools/dwm/dmenuumount @@ -1,7 +1,9 @@ #!/bin/sh + # A dmenu prompt to unmount drives. # Provides you with mounted partitions, select one to unmount. # Drives mounted at /, /boot and /home will not be options to unmount. +# by lukesmithxyz, checkout github.com/lukesmithxyz/voidrice unmountusb() { [ -z "$drives" ] && exit diff --git a/.local/bin/tools/dwm/lmc b/.local/bin/tools/dwm/lmc index c752937..aa31751 100755 --- a/.local/bin/tools/dwm/lmc +++ b/.local/bin/tools/dwm/lmc @@ -1,5 +1,7 @@ #!/bin/sh + # A general audio interface for LARBS. +# by lukesmithxyz, checkout github.com/lukesmithxyz/voidrice [ -z "$2" ] && num="2" || num="$2" diff --git a/.local/bin/tools/dwm/startpagesearch b/.local/bin/tools/dwm/startpagesearch index 3498d18..bcd8190 100755 --- a/.local/bin/tools/dwm/startpagesearch +++ b/.local/bin/tools/dwm/startpagesearch @@ -1,8 +1,11 @@ #!/bin/sh + # Gives a dmenu prompt to search Startpage. # Without input, will open Startpage.com. # URLs will be directly handed to the browser. # Anything else, it search it. +# original by lukesmithxyz, checkout github.com/lukesmithxyz/voidrice + browser=${RTVBROWSER:-firefox} pgrep -x dmenu && exit diff --git a/.local/bin/tools/dwm/togglemonitor b/.local/bin/tools/dwm/togglemonitor index d3aa824..3e34f1f 100755 --- a/.local/bin/tools/dwm/togglemonitor +++ b/.local/bin/tools/dwm/togglemonitor @@ -1,5 +1,8 @@ #!/bin/sh + # toggle external monitor +# by lukesmithxyz, checkout github.com/lukesmithxyz/voidrice + intern=LVDS-1 extern=HDMI-1 (xrandr | grep "$extern disconnected") diff --git a/.local/bin/tools/dwm/toggletouchpad b/.local/bin/tools/dwm/toggletouchpad index 1a1781d..8e4601f 100755 --- a/.local/bin/tools/dwm/toggletouchpad +++ b/.local/bin/tools/dwm/toggletouchpad @@ -1,4 +1,7 @@ #!/bin/sh + # Toggle touchpad. Requires xf86-input-synaptics. +# by lukesmithxyz, checkout github.com/lukesmithxyz/voidrice + (synclient | grep "TouchpadOff.*1" && synclient TouchpadOff=0)>/dev/null && notify-send "TouchPad reactivated." && exit synclient TouchpadOff=1 && notify-send "TouchPad deactivated." diff --git a/.local/bin/tools/ifinstalled b/.local/bin/tools/ifinstalled index b0d23e5..4cd52d6 100755 --- a/.local/bin/tools/ifinstalled +++ b/.local/bin/tools/ifinstalled @@ -1,3 +1,6 @@ #!/bin/sh + # If $1 command is not available, error code and notify. +# by lukesmithxyz, checkout github.com/lukesmithxyz/voidrice + command -v "$1" >/dev/null || { notify-send "📦 $1" "must be installed for this function." && exit 1 ;} diff --git a/.local/bin/tools/linkhandler b/.local/bin/tools/linkhandler index b839da2..602543c 100755 --- a/.local/bin/tools/linkhandler +++ b/.local/bin/tools/linkhandler @@ -5,6 +5,7 @@ # if a video or gif, it will view in mpv # if a music file or pdf, it will download, # otherwise it opens link in browser. +# by lukesmithxyz, checkout github.com/lukesmithxyz/voidrice # If no url given. Opens browser. For using script as $BROWSER. [ -z "$1" ] && { "$BROWSER"; exit; } diff --git a/.local/bin/tools/nvim/compiler b/.local/bin/tools/nvim/compiler index 201064e..087c4fa 100755 --- a/.local/bin/tools/nvim/compiler +++ b/.local/bin/tools/nvim/compiler @@ -2,9 +2,9 @@ # This script will compile or run another finishing operation on a document. I # have this script run via vim. -# # Compiles .tex. groff (.mom, .ms), .rmd, .md. Opens .sent files as sent # presentations. Runs scripts based on extention or shebang +# by lukesmithxyz, checkout github.com/lukesmithxyz/voidrice file=$(readlink -f "$1") dir=$(dirname "$file") diff --git a/.local/bin/tools/nvim/opout b/.local/bin/tools/nvim/opout index 28af763..bc0a8f9 100755 --- a/.local/bin/tools/nvim/opout +++ b/.local/bin/tools/nvim/opout @@ -3,6 +3,7 @@ # opout: "open output": A general handler for opening a file's intended output, # usually the pdf of a compiled document. I find this useful especially # running from vim. +# by lukesmithxyz, checkout github.com/lukesmithxyz/voidrice basename="$(echo "$1" | sed 's/\.[^\/.]*$//')" diff --git a/.local/bin/tools/nvim/texclear b/.local/bin/tools/nvim/texclear index 83fd586..e7a0516 100755 --- a/.local/bin/tools/nvim/texclear +++ b/.local/bin/tools/nvim/texclear @@ -2,6 +2,7 @@ # Clears the build files of a LaTeX/XeLaTeX build. # I have vim run this file whenever I exit a .tex file. +# by lukesmithxyz, checkout github.com/lukesmithxyz/voidrice case "$1" in *.tex) diff --git a/.local/bin/tools/prompt b/.local/bin/tools/prompt index 9154e47..1e83ca2 100755 --- a/.local/bin/tools/prompt +++ b/.local/bin/tools/prompt @@ -1,7 +1,9 @@ #!/bin/sh + # A dmenu binary prompt script. # Gives a dmenu prompt labeled with $1 to perform command $2. # For example: # `./prompt "Do you want to shutdown?" "shutdown -h now"` +# by lukesmithxyz, checkout github.com/lukesmithxyz/voidrice [ "$(printf "No\\nYes" | dmenu -i -p "$1" )" = "Yes" ] && $2 diff --git a/.local/bin/tools/setbg b/.local/bin/tools/setbg index 3dd5d0a..766cada 100755 --- a/.local/bin/tools/setbg +++ b/.local/bin/tools/setbg @@ -7,6 +7,7 @@ # # You may also give a directory name to select a random image from that # directory as a wallpaper. Be careful that the directory only has images. +# by lukesmithxyz, checkout github.com/lukesmithxyz/voidrice [ -f "$1" ] && cp "$1" ~/.config/wall.png && notify-send -i "$HOME/.config/wall.png" "Wallpaper changed." diff --git a/.local/bin/tools/statusbar/battery b/.local/bin/tools/statusbar/battery index 7bf4caa..88b211f 100755 --- a/.local/bin/tools/statusbar/battery +++ b/.local/bin/tools/statusbar/battery @@ -1,5 +1,7 @@ #!/usr/bin/env sh + # Give a battery name (e.g. BAT0) as an argument. +# by lukesmithxyz, checkout github.com/lukesmithxyz/voidrice capacity=$(cat /sys/class/power_supply/"$1"/capacity) || exit time=$(acpi | awk '{ print $5 }') diff --git a/.local/bin/tools/statusbar/clock b/.local/bin/tools/statusbar/clock index ff1d6c3..e7ede8b 100755 --- a/.local/bin/tools/statusbar/clock +++ b/.local/bin/tools/statusbar/clock @@ -1,3 +1,5 @@ #!/bin/sh +# by lukesmithxyz, checkout github.com/lukesmithxyz/voidrice + date +"%d %b %H:%M" diff --git a/.local/bin/tools/statusbar/cpu b/.local/bin/tools/statusbar/cpu index aabef3a..5b1a742 100755 --- a/.local/bin/tools/statusbar/cpu +++ b/.local/bin/tools/statusbar/cpu @@ -1,3 +1,5 @@ #!/bin/sh +# by lukesmithxyz, checkout github.com/lukesmithxyz/voidrice + sensors | awk '/Core 0/ {print $3}' diff --git a/.local/bin/tools/statusbar/disk b/.local/bin/tools/statusbar/disk index b26c550..5d79ec1 100755 --- a/.local/bin/tools/statusbar/disk +++ b/.local/bin/tools/statusbar/disk @@ -3,6 +3,7 @@ # Status bar module for disk space # $1 should be drive mountpoint # $2 is optional icon, otherwise mountpoint will displayed +# by lukesmithxyz, checkout github.com/lukesmithxyz/voidrice [ -z "$1" ] && exit diff --git a/.local/bin/tools/statusbar/dwmbar b/.local/bin/tools/statusbar/dwmbar index 3dd9fef..d19262d 100755 --- a/.local/bin/tools/statusbar/dwmbar +++ b/.local/bin/tools/statusbar/dwmbar @@ -1,4 +1,7 @@ #!/bin/sh + +# inspired by by lukesmithxyz, checkout github.com/lukesmithxyz/voidrice + status() { \ echo "$(memory)|$(cpu)|$(disk /)|$(volume)|$(battery BAT0)|$(internet)|$(clock)" } diff --git a/.local/bin/tools/statusbar/internet b/.local/bin/tools/statusbar/internet index 660ac46..8a2ca2c 100755 --- a/.local/bin/tools/statusbar/internet +++ b/.local/bin/tools/statusbar/internet @@ -1,5 +1,7 @@ #!/usr/bin/env sh +# by lukesmithxyz, checkout github.com/lukesmithxyz/voidrice + [ "$(cat /sys/class/net/w*/operstate)" = 'down' ] && wifiicon="📡" [ ! -n "${wifiicon+var}" ] && wifiicon=$(grep "^\s*w" /proc/net/wireless | awk '{ print "📶", int($3 * 100 / 70) "%" }') diff --git a/.local/bin/tools/statusbar/memory b/.local/bin/tools/statusbar/memory index ad75caf..527b2f6 100755 --- a/.local/bin/tools/statusbar/memory +++ b/.local/bin/tools/statusbar/memory @@ -1,3 +1,5 @@ #!/bin/sh +# by lukesmithxyz, checkout github.com/lukesmithxyz/voidrice + free -h | awk '/^Mem:/ {print $3 "/" $2}' diff --git a/.local/bin/tools/statusbar/refbar b/.local/bin/tools/statusbar/refbar index 84f65a1..4f2cbb2 100755 --- a/.local/bin/tools/statusbar/refbar +++ b/.local/bin/tools/statusbar/refbar @@ -1,5 +1,6 @@ #!/bin/sh # Refresh the dwmbar. +# by lukesmithxyz, checkout github.com/lukesmithxyz/voidrice kill "$(pstree -lp | grep -- -dwmbar\([0-9] | sed "s/.*sleep(\([0-9]\+\)).*/\1/")" diff --git a/.local/bin/tools/statusbar/volume b/.local/bin/tools/statusbar/volume index fa6c1a4..904855b 100755 --- a/.local/bin/tools/statusbar/volume +++ b/.local/bin/tools/statusbar/volume @@ -1,5 +1,7 @@ #!/bin/sh +# by lukesmithxyz, checkout github.com/lukesmithxyz/voidrice + [ "$(pulsemixer --get-mute)" = "1" ] && printf "🔇\\n" && exit vol=$(pulsemixer --get-volume | awk '{print $1}') diff --git a/.local/bin/tools/sxhkd/dmenumount b/.local/bin/tools/sxhkd/dmenumount deleted file mode 100755 index 0de5f0f..0000000 --- a/.local/bin/tools/sxhkd/dmenumount +++ /dev/null @@ -1,59 +0,0 @@ -#!/bin/sh -# Gives a dmenu prompt to mount unmounted drives. -# If they're in /etc/fstab, they'll be mounted automatically. -# Otherwise, you'll be prompted to give a mountpoint from already existsing directories. -# If you input a novel directory, it will prompt you to create that directory. - -getmount() { \ - [ -z "$chosen" ] && exit 1 - mp="$(find $1 2>/dev/null | dmenu -i -p "Type in mount point.")" - [ "$mp" = "" ] && exit 1 - if [ ! -d "$mp" ]; then - mkdiryn=$(printf "No\\nYes" | dmenu -i -p "$mp does not exist. Create it?") - [ "$mkdiryn" = "Yes" ] && (mkdir -p "$mp" || sudo -A mkdir -p "$mp") - fi - } - -mountusb() { \ - chosen="$(echo "$usbdrives" | dmenu -i -p "Mount which drive?" | awk '{print $1}')" - sudo -A mount "$chosen" 2>/dev/null && notify-send "💻 USB mounting" "$chosen mounted." && exit 0 - alreadymounted=$(lsblk -nrpo "name,type,mountpoint" | awk '$2=="part"&&$3!~/\/boot|\/home$|SWAP/&&length($3)>1{printf "-not \\( -path *%s -prune \\) \\ \n",$3}') - getmount "/mnt /media /mount /home -maxdepth 5 -type d $alreadymounted" - partitiontype="$(lsblk -no "fstype" "$chosen")" - case "$partitiontype" in - "vfat") sudo -A mount -t vfat "$chosen" "$mp" -o rw,umask=0000;; - *) sudo -A mount "$chosen" "$mp"; user="$(whoami)"; ug="$(groups | awk '{print $1}')"; sudo -A chown "$user":"$ug" "$mp";; - esac - notify-send "💻 USB mounting" "$chosen mounted to $mp." - } - -mountandroid() { \ - chosen=$(echo "$anddrives" | dmenu -i -p "Which Android device?" | cut -d : -f 1) - getmount "$HOME -maxdepth 3 -type d" - simple-mtpfs --device "$chosen" "$mp" - notify-send "🤖 Android Mounting" "Android device mounted to $mp." - } - -asktype() { \ - case $(printf "USB\\nAndroid" | dmenu -i -p "Mount a USB drive or Android device?") in - USB) mountusb ;; - Android) mountandroid ;; - esac - } - -anddrives=$(simple-mtpfs -l 2>/dev/null) -usbdrives="$(lsblk -rpo "name,type,size,mountpoint" | awk '$2=="part"&&$4==""{printf "%s (%s)\n",$1,$3}')" - -if [ -z "$usbdrives" ]; then - [ -z "$anddrives" ] && echo "No USB drive or Android device detected" && exit - echo "Android device(s) detected." - mountandroid -else - if [ -z "$anddrives" ]; then - echo "USB drive(s) detected." - mountusb - else - echo "Mountable USB drive(s) and Android device(s) detected." - asktype - fi -fi diff --git a/.local/bin/tools/sxhkd/dmenuumount b/.local/bin/tools/sxhkd/dmenuumount deleted file mode 100755 index dee53e7..0000000 --- a/.local/bin/tools/sxhkd/dmenuumount +++ /dev/null @@ -1,41 +0,0 @@ -#!/bin/sh -# A dmenu prompt to unmount drives. -# Provides you with mounted partitions, select one to unmount. -# Drives mounted at /, /boot and /home will not be options to unmount. - -unmountusb() { - [ -z "$drives" ] && exit - chosen=$(echo "$drives" | dmenu -i -p "Unmount which drive?" | awk '{print $1}') - [ -z "$chosen" ] && exit - sudo -A umount "$chosen" && notify-send "💻 USB unmounting" "$chosen unmounted." - } - -unmountandroid() { \ - chosen=$(awk '/simple-mtpfs/ {print $2}' /etc/mtab | dmenu -i -p "Unmount which device?") - [ -z "$chosen" ] && exit - sudo -A umount -l "$chosen" && notify-send "🤖 Android unmounting" "$chosen unmounted." - } - -asktype() { \ - case "$(printf "USB\\nAndroid" | dmenu -i -p "Unmount a USB drive or Android device?")" in - USB) unmountusb ;; - Android) unmountandroid ;; - esac - } - -drives=$(lsblk -nrpo "name,type,size,mountpoint" | awk '$2=="part"&&$4!~/\/boot|\/home$|SWAP/&&length($4)>1{printf "%s (%s)\n",$4,$3}') - -if ! grep simple-mtpfs /etc/mtab; then - [ -z "$drives" ] && echo "No drives to unmount." && exit - echo "Unmountable USB drive detected." - unmountusb -else - if [ -z "$drives" ] - then - echo "Unmountable Android device detected." - unmountandroid - else - echo "Unmountable USB drive(s) and Android device(s) detected." - asktype - fi -fi diff --git a/.local/bin/tools/sxhkd/startpagesearch b/.local/bin/tools/sxhkd/startpagesearch deleted file mode 100755 index 3498d18..0000000 --- a/.local/bin/tools/sxhkd/startpagesearch +++ /dev/null @@ -1,20 +0,0 @@ -#!/bin/sh -# Gives a dmenu prompt to search Startpage. -# Without input, will open Startpage.com. -# URLs will be directly handed to the browser. -# Anything else, it search it. -browser=${RTVBROWSER:-firefox} - -pgrep -x dmenu && exit - -choice=$(echo "Startpage" | dmenu -i -p "Search Startpage:") || exit 1 - -if [ "$choice" = "Startpage" ]; then - $RTV_BROWSER "https://startpage.com" -else - if echo "$choice" | grep "^(http:\/\/|https:\/\/)?[a-zA-Z0-9]+\.[a-zA-Z]+(/)?.*$"; then - $RTV_BROWSER "$choice" - else - $RTV_BROWSER "https://startpage.com/do/search/?q=$choice" - fi -fi diff --git a/.local/bin/tools/vifm/vifmimg b/.local/bin/tools/vifm/vifmimg index 40b7844..9c9d147 100755 --- a/.local/bin/tools/vifm/vifmimg +++ b/.local/bin/tools/vifm/vifmimg @@ -12,6 +12,8 @@ readonly ID_PREVIEW="preview" # The messy code below is for moving pages in pdf files in the vifm file preview by # utilizing the < and > keys which will be bound to `vifmimg inc` or `vifmimg dec`. +# by cirala, checkout github.com/cirala/vifmimg + PDF_PAGE_CONFIG="$HOME/.config/vifm/vifmimgpdfpage" PDF_FILE_CONFIG="$HOME/.config/vifm/vifmimgpdffile" PDF_PAGE=1 diff --git a/.local/bin/tools/vifm/vifmrun b/.local/bin/tools/vifm/vifmrun index edd580a..e6272ce 100755 --- a/.local/bin/tools/vifm/vifmrun +++ b/.local/bin/tools/vifm/vifmrun @@ -1,4 +1,7 @@ #!/usr/bin/env bash + +# by cirala, checkout github.com/cirala/vifmimg + export FIFO_UEBERZUG="/tmp/vifm-ueberzug-${PPID}" if [ ! -f "/usr/bin/ueberzug" ]; then