Lab07: Download src RPM using the package manager?

[stejoo]

In Lab 07, specifically chapter Finding the source you acquire the source RPM of selinux-policy using curl.
Is there a specific reason you chose curl for this purpose?

Because: the package manager can do this for you. That way you do not have to account for version differences as the package manager should resolve those. How I acquired the src RPM for the selinux-policy:

[stefan@localhost lab07-finding-examples]$ dnf download --source selinux-policy
enabling baseos-source repository
enabling appstream-source repository
enabling extras-source repository
Rocky Linux 9 - BaseOS                                                                                    4.2 MB/s | 3.4 MB     00:00    
Rocky Linux 9 - BaseOS - Source                                                                           683 kB/s | 268 kB     00:00    
Rocky Linux 9 - AppStream                                                                                 8.7 MB/s | 9.1 MB     00:01    
Rocky Linux 9 - AppStream - Source                                                                        2.4 MB/s | 1.0 MB     00:00    
Rocky Linux 9 - Extras                                                                                     51 kB/s |  16 kB     00:00    
Rocky Linux 9 - Extras Source                                                                              40 kB/s |  13 kB     00:00    
selinux-policy-38.1.45-3.el9_5.src.rpm                                                                    6.2 MB/s | 1.1 MB     00:00    
[stefan@localhost lab07-finding-examples]$ ll selinux-policy-38.1.45-3.el9_5.src.rpm 
-rw-r--r--. 1 stefan stefan 1152245 Feb  5 11:19 selinux-policy-38.1.45-3.el9_5.src.rpm