while(video_ran == now_video): video_ran_list = random.sample(videos_ran,k=1)

这几行代码的作用是使用while循环选择一个与当前正在播放的视频文件不同的视频文件。首先，使用random模块的sample函数从列表videos_ran中随机选择一个元素，保存在列表video_ran_list中，k参数的值为1，表示只选择一个元素。然后，使用while循环判断随机选择的视频文件是否与当前正在播放的视频文件相同，如果相同，继续随机选择，直到选择到一个与当前正在播放的视频文件不同的视频文件为止。这个随机选择视频的过程更严谨，可以确保每次随机选择的视频文件与上一次不同。