···

       
9
       
9
       
 
       
      	. /etc/bashrc

     

       
10
       
10
       
 
       
      fi

     

       
11
       
11
       
 
       
    '';

     

       
12
       
12
       
-
       
    profileExtra = ''

     

       
13
       
13
       
-
       
      # Update helper

     

       
14
       
14
       
-
       
      update() {

     

       
15
       
15
       
-
       
          sudo dnf update --refresh

     

       
16
       
16
       
-
       
          flatpak update

     

       
17
       
17
       
-
       
      }

     

       
18
       
18
       
-
       
    '';

     

       
19
       
12
       
 
       
  };

     

       
20
       
13
       
 
       
}