From b03edd1048a5ef46b4f7d8c487c2dbc1e8dc02ab Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Tue, 7 May 2024 12:51:45 -0500 Subject: Add helpers for removing and installing --- local/bin/xprm | 3 +++ 1 file changed, 3 insertions(+) create mode 100755 local/bin/xprm (limited to 'local/bin/xprm') diff --git a/local/bin/xprm b/local/bin/xprm new file mode 100755 index 0000000..283e392 --- /dev/null +++ b/local/bin/xprm @@ -0,0 +1,3 @@ +#!/bin/bash +set -e +sed -i "/$1/d" ~/repository.list && xsync \ No newline at end of file -- cgit v1.2.3