Коли я використовую наступне, я отримую результат, як очікувалося:
$ echo {8..10}
8 9 10
Як я можу легко скористатися цим розширенням дужок, щоб отримати такий вихід?
$ echo {8..10}
08 09 10
Я тепер, що це можна отримати, використовуючи seq
(не намагався), але це не те, що я шукаю.
Корисною інформацією може бути те, що я обмежений у цій баш-версії. (Якщо у вас є zsh
рішення, але bash
рішення немає , будь ласка, поділіться також)
$ bash -version
GNU bash, version 3.2.51(1)-release (x86_64-suse-linux-gnu)