숫자야구에서 처음 3자리 숫자를 만들 때 원래는 random.randint(1,999)로 만들었는데 그러면 888처럼 중복된 숫자가 나오더라구요. 그래서 중복없이 만들려고 코딩을 했는데

import random

num = [1,2,3,4,5,6,7,8,9]

tmp1 = (random.randint(0,8))
num1 = str(num.pop(tmp1))

tmp2 = (random.randint(0,7))
num2 = str(num.pop(tmp2))

tmp3 = (random.randint(0,6))
num3 = str(num.pop(tmp3))

number = [num1, num2, num3]

잘 만들어지기는 하는데 고작 숫자 3개 만드는데 코드가 너무 긴 것 같아서요. for 같은 거 쓰면 훨씬 짧게 만들 수 있을 거 같은데 혹시 방법이 있을까요?