Вы можете создать действительно маленький скрипт bash:
#!/bin/bash
javac "$1"
java `basename "$1" .java`
Поместите это в /usr/local/bin/runjava.sh и выполните
sudo chmod 755 /usr/local/bin/runjava.sh
Затем вы можете просто ввести
[ f3], чтобы скомпилировать и запустить его.
В качестве альтернативы вы можете поместить runjava.sh (или ваше собственное имя) в папку ~/bin. Если эта папка не существует, ее можно создать с помощью команды mkdir ~/bin. После открытия нового терминала он автоматически загружается в PATH (при условии, что Ubuntu и bash, без настроек .bashrc).
Первый способ добавляет его всем пользователям вашей системы, второй для вас.
Попробуйте следующее:
for f in *; do
if [[ -d $f ]] ; then
mv "$f" $(($f + 1000))
fi
done
Вы также можете использовать rename:
for f in *; do
[ -d "$f" ] && rename -n 's/$_/$_+1000/e' "$f"
done
Если вы хотите переименовать каждый файл или каталог, просто запустите:
rename -n 's/$_/$_+1000/e' *